「"program model"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

PROGRAM, METHOD, AND DEVICE FOR CONTROLLING DB SEQUENCE BACKTRACKING IN PROGRAM MODEL TEST例文帳に追加

プログラム・モデル検査におけるＤＢシーケンス・バックトラック制御プログラム、方法、及び装置 - 特許庁

PROGRAM, DEVICE AND METHOD FOR GENERATING DATA IN INSPECTION OF PROGRAM MODEL例文帳に追加

プログラムモデル検査におけるデータ生成プログラム、データ生成装置およびデータ生成方法 - 特許庁

DATA GENERATING PROGRAM, DATA GENERATING METHOD, AND DATA GENERATING DEVICE IN PROGRAM MODEL INSPECTION例文帳に追加

プログラムモデル検査におけるデータ生成プログラム、データ生成方法およびデータ生成装置 - 特許庁

CODE GENERATION DEVICE, CODE GENERATION PROGRAM, SIMULATOR, SIMULATION PROGRAM, MODEL GENERATION DEVICE, AND MODEL GENERATION PROGRAM例文帳に追加

コード生成装置、コード生成プログラム、シミュレーション装置、シミュレーションプログラム、モデル生成装置、およびモデル生成プログラム - 特許庁

To provide a program model inspection which avoids a phenomenon in which functions to be inspected are not executed owing to the order of inspection of program models, safely restricts the number of execution times of the functions, and reduces the execution time for program model inspection.例文帳に追加

プログラムモデル検査の順序に起因して検査対象の関数が実行されなくなる現象を回避し、関数の実行回数の制限を安全に行うことができ、プログラムモデル検査の実行時間を削減するプログラムモデル検査を提供する。 - 特許庁

To perform efficient backtracking for returning data of a DB used in execution environment to a restoration state in program model inspection.例文帳に追加

プログラムモデル検査において実行環境で使用されるＤＢのデータを復元状態へ戻す効率的なバックトラックを行う。 - 特許庁

TEST CASE GENERATION DEVICE, TEST CASE GENERATION PROGRAM, MODEL BASE DEVELOPMENT PROGRAM, DEVICE AND PROGRAM FOR DIAGNOSING VALIDITY OF SOURCE CODE GENERATION, AND METHOD FOR DEVELOPING MODEL BASE例文帳に追加

テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 - 特許庁

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 provide a data generation program, a data generation method and a data generation device for generating a driver for generating necessary and sufficient data by dynamically specifying a boundary value in program model inspection.例文帳に追加

プログラムモデル検査において、動的に境界値を特定して必要十分なデータを生成するためのドライバを生成するデータ生成プログラム、データ生成方法およびデータ生成装置を提供する。 - 特許庁

To provide a data generation program, a data generation device and a data generation method for extracting the factor of repetition from the property of a pseudo system, and for generating the optimal equivalent class under the consideration of conditions for stopping repetition due to the factor, and for reducing useless repetition in program model inspection.例文帳に追加

プログラムモデル検査において、擬似システムのプロパティから繰り返しの要因を抽出し、該要因による繰り返しを停止させる条件を加味した最適な同値クラスを生成し、無駄な繰り返しを減少させるデータ生成プログラム、データ生成装置およびデータ生成方法を提供する。 - 特許庁

TIME-SPACE MODEL DISTRIBUTING SYSTEM AND INDEX GENERATING METHOD FOR TIME-SPACE MODEL, MODEL DISTRIBUTING SERVER, MODEL DISPLAY CLIENT, MODEL DISTRIBUTING SERVER CONTROL METHOD, MODEL DISPLAY CLIENT CONTROL METHOD, MODEL DISTRIBUTING SERVER CONTROL PROGRAM, MODEL DISPLAY CLIENT CONTROL PROGRAM AND RECORDING MEDIUM HAVING THE PROGRAMS RECORDED THEREIN例文帳に追加

時空間モデル配信システムと時空間モデルのインデクス生成方法、モデル配信サーバ、モデル表示クライアント、モデル配信サーバの制御方法、モデル表示クライアントの制御方法、モデル配信サーバの制御プログラム、モデル表示クライアントの制御プログラム、及びそれらの制御プログラムを記録した記録媒体 - 特許庁

The system automatically generates a test program and an analogue section test pattern of a mixed-signal LSI to be tested by a digital section test program of the mixed-signal LSI to be tested, and an analogue core test program model file and an analogue core test pattern model file which are retrieved based on an analogue core information file which is retrieved from an analogue core test database.例文帳に追加

被試験ミックスドシグナルＬＳＩのデジタル部テストプログラムと、アナログコアテストデータベースから取り込まれるアナログコア情報ファイルに基づいて取り込まれるアナログコアテストプログラム雛型ファイル及びアナログコアテストパタン雛型ファイルと、によって被試験ミックスドシグナルＬＳＩのテストプログラム及びアナログ部テストパタンを自動生成するシステム及びそのシステムをプログラムとして記録した記録媒体。 - 特許庁