Weblio 辞書 > 英和辞典・和英辞典 > 百科事典 > Runtime verificationの意味・解説

意味

例文 (5件)

Runtime verificationとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

ウィキペディア英語版での「Runtime verification」の意味

Runtime verification

出典:『Wikipedia』 (2010/12/03 13:17 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

Runtime verification is a verification technique that combines formal verification and program execution. It is the process of detecting faults in a system under scrutiny by passively observing its input/output behavior during its normal operations. The observed behavior, e.g., in terms of log traces, of the target system can be monitored and verified dynamically to satisfy given requirements. Such requirements are typically specified by a formalism which can express temporal constraints, such as LTL-formulae (Linear temporal logic) or automata and statecharts. In contrast to the classical model checking approach, where a simplified model of the target system is verified, runtime verification is performed while the real system is running. Thus, runtime verification or as it is sometimes referred to, passive testing, increases the confidence on whether the implementation conforms to its specification. Furthermore, it allows a running system to reflect on its own behavior in order to detect its own deviation from the prespecified behavior.

出典元索引ランキング

「Runtime verification」の部分一致の例文検索結果

該当件数 : 5件

例文

APPARATUS AND METHOD FOR RUNTIME INTEGRITY VERIFICATION例文帳に追加

ランタイムインテグリティ検証のための装置及び方法 - 特許庁

To provide a system and method for effectively executing runtime integrity verification.例文帳に追加

ランタイムファームウェアインテグリティ検証を効果的に実行するシステム及び方法を提供すること。 - 特許庁

A parallel processing verification part 230 of a runtime library 200 saves data in a work memory for all inputs before executing each serial basic module 101.例文帳に追加

ランタイムライブラリ２００の並列処理検証部２３０は、各直列基本モジュール１０１の実行前に、全ての入力について作業メモリへデータを退避する。 - 特許庁

The method includes receiving, at a first interface component, runtime control information and a configuration parameter associated with a configured image representative of at least a portion of a user design and an associated verification module.例文帳に追加

この方法は、第１のインタフェース・コンポーネントにおいて、ユーザ設計の少なくとも一部及び関連付けられた検証モジュールを表す構成画像に関連付けられた構成パラメータと、ランタイム制御情報とを受信することを含む。 - 特許庁

例文

A second interface component may be configured to send timing and control information to the verification module on the basis of at least one of the configured image and runtime control information received from the first interface component.例文帳に追加

第２のインタフェース・コンポーネントは、第１のインタフェース・コンポーネントから受信された構成画像及びランタイム制御情報のうち少なくとも１つに基づいて、タイミング及び制御情報を検証モジュールへ送信するように構成され得る。 - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

「Runtime verification」の意味に関連した用語

意味

例文 (5件)

Runtime verificationのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

Wikipedia

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのRuntime verification (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

Runtime verificationとは 意味・読み方・使い方

ウィキペディア英語版での「Runtime verification」の意味

Runtime verification

「Runtime verification」の部分一致の例文検索結果

「Runtime verification」のお隣キーワード

Runtime verificationとは意味・読み方・使い方