Software-testing-dictionary-symbolic-execution

シンボリック実行

シンボリック実行とは何ですか？

シンボリック実行は、テストデータの生成を支援し、プログラムの品質を証明するのに役立つソフトウェアテスト手法です。

シンボリック実行を使用する手順：

• 実行には、一連のデータ値によって実行されるパスの選択が必要です。 実際のデータを使用して実行されるプログラムは、一連の値を出力します。
• シンボリック実行では、データは、出力変数ごとに1つの式を持つ一連の式を持つシンボリック値に置き換えられます。
• シンボリック実行の一般的なアプローチは、プログラムの分析を実行して、フローグラフを作成することです。
• フローグラフは、各フローに関連付けられた決定ポイントと割り当てを識別します。 エントリポイントからフローグラフを走査することにより、割り当てステートメントと分岐述語のリストが生成されます。

シンボリック実行の問題：

• ループ内の反復回数がわかっている場合、シンボリック実行は続行できません。
• 2番目の問題は、アウトオブラインコードまたはモジュール呼び出しの呼び出しです。
• シンボリック実行は配列では使用できません。
• シンボリック実行では、実行不可能なパスを特定できません。

シンボリック実行アプリケーション：

• パスドメインチェック
• テストデータ生成
• パーティション分析
• シンボリックデバッグ