モデル検査技術の英語

放射線検査画像において、従来技術の投影行列を補正するために、３Ｄモデルに適用されるべき残留変換を確立する。例文帳に追加

To establish residual transformation to be applied in a 3D model to correct a projection matrix of conventional technique in radiography inspection images. - 特許庁

等価回路モデルを要することなくパッケージ基板の検査を実行することが可能な技術を提供する。例文帳に追加

To provide a technology which can inspect a package substrate without requiring an equivalent circuit model. - 特許庁

データベース（ＤＢ）を利用するアプリケーションプログラムを検査対象とするプログラム・モデル検査において、ＤＢのシーケンス処理をも含めてバックトラックできる改善された技術を提供する。例文帳に追加

To provide an improved technique capable of backtracking while including database (DB) sequence processing in a program model test in which an application program using a DB is a test target. - 特許庁

プログラムと表明を入力としモデル検査技術を用いたプログラムの検証において、検査対象プログラムの動作コンテキストを与える仮定の誤りの可能性を示すことを可能にする。例文帳に追加

To indicate the possibility of errors in assumption that provides the operational context of a program to be examined, in the verification of a program using model examination techniques where a program and assertions are inputs. - 特許庁

条件分岐箇所へ到達確認用のコードを埋め込む等の既存技術を用いてモデル検査技術で検証した範囲を網羅度として測定し、検証結果とともにその測定結果を示すことにより、作業者に仮定の誤りの可能性を示す。例文帳に追加

A program verification apparatus measures as a degree of exhaustiveness a range verified by model examination techniques using such an existing technique as embedding arrival confirmation codes in portions of conditional branching, and indicates the measuring result together with the verification result, thereby indicating the possibility of an assumption error to an operator. - 特許庁