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

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

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