コンピューター用語辞典

日外アソシエーツ株式会社

symbolic execution

記号実行; シンボリック実行

入力データには実際の値ではなく変数名のような記号を使用して,これらの記号を含んだ論理式又は数式としてプログラム出力を表現し,プログラム全体又はその一部分の実行を模擬することによってソフトウェアの解析を支援する過程

参照

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

symbolic execution

記号実行

日英・英日専門用語辞書

日中韓辭典研究所

symbolic execution

記号実行，シンボリック実行

ウィキペディア英語版

出典：Wikipedia

Symbolic execution

出典:『Wikipedia』 (2011/05/27 17:35 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In computer science, symbolic execution (also symbolic evaluation) refers to the analysis of programs by tracking symbolic rather than actual values, a case of abstract interpretation. The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions.

音声を聞く

クイック再生
ダウンロード再生

Symbolic executionのページの著作権