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

To provide a technique for specifying a verification range for appropriate partial verification of software.例文帳に追加

ソフトウェアの部分検証を適正に行うための検証範囲を特定する技術を提供する。 - 特許庁

To provide a technique ensuring logical verification without redesigning a logic verification object board.例文帳に追加

論理検証対象ボードを再設計することなく、論理検証を行うことを可能とする技術を提供する。 - 特許庁

To provide a technique which eliminates the need for an evaluation board, etc., and can perform verification at higher speed than a conventional technique.例文帳に追加

評価ボード等が必要なく、かつ、従来技術よりも高速な検証が行える技術を提供する。 - 特許庁

To provide a verification device of a control microcomputer which provides an advanced verification technique of control software, especially a technique for assertion based verification, and ensures higher verification efficiency than before and to provide an onboard control device.例文帳に追加

制御ソフトウェアの高度な検証技術、特にアサーションベース検証を提供するためになされたものであり、従来に比して検証効率を向上させた制御用マイクロコンピュータの検証装置および車載用制御装置を提供する。 - 特許庁

To automatically select a function having high verification effect, in a processing system for performing verification of a source code by use of model inspection technique.例文帳に追加

モデル検査技法を利用してソースコードの検証を行う処理系において、検証効果が高くなる関数を自動選択する。 - 特許庁

To provide a load distribution system which reduces a verification processing time by distributing verification processing by means of distributed processing in a source code verification system using a model inspection technique.例文帳に追加

モデル検査方式を用いたソースコード検証システムにおいて、分散処理により検証処理を分散させることで、検証処理時間を短縮する負荷分散システムを提供する。 - 特許庁

The measurement of a measurement object utilizing a short distance wireless communication technique to be the object of verification is executed by an automatic measuring system on the side of the verification applicant.例文帳に追加

検定の対象となる、近距離無線通信技術を利用する測定対象の測定を検定申込者側で自動測定システムにより実行する。 - 特許庁

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

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