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

Also, symbolic execution is performed for one or more web applications.例文帳に追加

また、１つ以上のウェブアプリケーションに関してシンボリック実行が行われる。 - 特許庁

SOFTWARE ARCHITECTURE FOR VERIFYING C++ PROGRAM USING SYMBOLIC EXECUTION例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャ - 特許庁

METHOD AND SYSTEM FOR VALIDATING C++ PROGRAMS USING SYMBOLIC EXECUTION例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するための方法及びシステム - 特許庁

SYSTEM AND METHOD FOR PROVIDING SYMBOLIC EXECUTION ENGINE FOR VALIDATING WEB APPLICATION例文帳に追加

ウェブアプリケーションを検証するシンボリック実行エンジンを提供するシステム及び方法 - 特許庁

To provide a software architecture for verifying a C++ program using symbolic execution.例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャを提供する。 - 特許庁

Particular embodiments may further optimize the C++ function through simplified symbolic expressions and adding constructs forcing delayed interpretation of symbolic expressions during the symbolic execution.例文帳に追加

特定の実施形態は更に、単純化された記号表現と、記号的実行中に記号表現の解釈を遅延させる構成の付加とによって、Ｃ＋＋関数を最適化してもよい。 - 特許庁

Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution.例文帳に追加

特定の実施形態は、１つ以上のループを有するＣ＋＋関数を記号的実行用に最適化する。 - 特許庁

To provide a method and system for optimizing libraries for validating C++ programs using symbolic execution.例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するためにライブラリを最適化する方法及びシステムを提供する。 - 特許庁

Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution.例文帳に追加

典型的に、シンボリック実行を行う際に一定種類の要求又はプロパティを検査するよう、Ｊａｖａモデルチェッカが拡張される。 - 特許庁

The symbolic debugger is provided with: a display means; a model execution means for executing a hardware operation model; and a correspondence relation management means for managing the display of the execution state of a source program by the display means according to the execution state.例文帳に追加

シンボリックデバッガは、表示手段と、ハードウェア動作モデルを実行するモデル実行手段と、その実行状態に応じて表示手段によるソースプログラムの実行状態の表示を管理する対応関係管理手段と、を有する。 - 特許庁

The symbolic execution includes allocating symbol input to each input parameter of the C++ program, determining one or more execution paths in the C++ program, and constructing a symbol representation for advancing the C++ program to the execution path when each of the execution paths is fulfilled.例文帳に追加

この記号的実行は、Ｃ＋＋プログラムの各入力変数に記号入力を割当て、Ｃ＋＋プログラム内の１つ以上の実行経路を決定し、各実行経路に関して、満たされる場合にＣ＋＋プログラムを該実行経路へと進ませる記号表現を構築することを有する。 - 特許庁

Examining the code block may include performing a symbolic analysis, performing an empirical observation of an execution of the code block, performing a statistical analysis, or any combination thereof.例文帳に追加

コードブロックの検査は、記号分析の実施、コードブロック実行の経験的観察の実施、統計的分析の実施又はこれらの組み合わせを含む。 - 特許庁

More specifically, the information processor has: a manifestation comment analysis part 4 describing the precondition and the post condition in a decided form by a comment with respect to manifestation of a method, and analyzing the manifestation comment; an execution control part 5 making a symbolic debugger 3 execute the method in each the manifestation; and a debug range specification part 6 evaluating whether an execution result satisfies the precondition or the postcondition.例文帳に追加

より詳細には、メソッドの表明に関して注釈で事前条件と事後条件を定まった形式で記述しておき、その表明注釈を解析する表明注釈解析部４と、メソッドを表明ごとにシンボリックデバッガ３に実行させる実行制御部５と、実行結果が事前条件又は事後条件を満たすか否かを評価するデバッグ範囲特定部６と、を有する。 - 特許庁