プログラム検証系の英語

標準規格品に対するリファイン品として開発した検査対象の処理系に関し、処理系の動作検証を行うテストプログラムを自動生成し、そのテストプログラムにより動作正当性検証を行う。例文帳に追加

To automatically generate a test program for operation verification of a processing system of a test object developed as a refine product to a standardized product, and verify the operation validity by use of the test program. - 特許庁

作成者の簡単な操作だけでＦＢＭアドレス系からＦＢＭ物理座標系の変換プログラムを誰にでも短時間且つ容易に作成でき、その上、作成された変換プログラムの検証を効率的且つ高精度で行うこと。例文帳に追加

To enable everybody to easily create a transformation program for transforming a FBM address system into a FBM physical coordinate system in a short time by only simple operation of a creator and to efficiently and highly precisely verify the created transformation program. - 特許庁

本発明は、複数の測定項目毎の、試験プログラムの更新前後での変動と製造された時系列での変動とを比較検証することにより、試験プログラムの更新による変化のみを効率的に抽出することを特徴とする。例文帳に追加

Only a change due to updating of a test program is efficiently extracted by comparison-verifying fluctuations before and after the updating of the test program with a production time-serial fluctuation, in each of a plurality of measuring items. - 特許庁

検証コードの有無がコード量や制御系システムの時間的なふるまいに与える影響を小さくすることができるプログラムの検証装置を提供すること。例文帳に追加

To provide a verification device of a program, wherein influence of presence/absence of a verification code on temporal behavior of a code amount or a control system is reduced. - 特許庁

又、前記変換プログラムにより得られた前記ＦＢＭ物理座標を更にレイアウト座標系に変換して、前記メモリセルの構成を示したレイアウトと同一画面に重ねて表示することにより、目視でＦＢＭ物理座標の良否を検証する。例文帳に追加

Also, the FBM physical coordinate obtained by the transformation program is further transformed into a layout coordinate system, and is displayed to be superposed with a layout showing the configuration of the memory cell on the same screen, thereby visually verifying whether the FBM physical coordinate is good or bad. - 特許庁