program verification techniqueとは 意味・読み方・使い方

VEHICLE TRAVELLING VERIFICATION SYSTEM, VEHICLE TRAVELLING VERIFICATION TECHNIQUE, AND PROGRAM例文帳に追加

車両走行検証システム、車両走行検証方法及びプログラム - 特許庁

To provide a vehicle travelling verification system, a vehicle travelling verification technique, and a program capable of detecting the fake itself of GPS satellite observation data.例文帳に追加

ＧＰＳ衛星観測データの捏造自体を検出できる車両走行検証システム、車両走行検証方法及びプログラムを提供する。 - 特許庁

To provide a technique of generating test data capable of testing a verification program without preparing multiple test data.例文帳に追加

複数のテストデータを準備することなく、検証プログラムをテストすることができるテストデータを生成する技術を提供する。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

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.例文帳に追加

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

To provide a system and an apparatus for the verification of a signal wherein vasatility are high in verification object and use, a skilled technique such as experience, intuition or the like is not required and specifications according to a taste of a user can be set, and to provide a computer program and a recording medium.例文帳に追加

検証対象及び用途において汎用性が高く、経験及び勘などの熟練した技術が不要であり、ユーザの嗜好に応じた仕様に設定することができる信号検証システム、信号検証装置、コンピュータプログラム、及び記録媒体の提供。 - 特許庁