シンボリック実行

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

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

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

  • 実行には、一連のデータ値によって実行されるパスの選択が必要です。実際のデータを使用して実行されるプログラムは、一連の値を出力します。

  • シンボリック実行では、データは、出力変数ごとに1つの式である式のセットを持つシンボリック値に置き換えられます。

  • シンボリック実行の一般的なアプローチは、プログラムの分析を実行して、フローグラフを作成することです。

  • フローグラフは、各フローに関連付けられた決定ポイントと割り当てを識別します。エントリポイントからフローグラフをトラバースすることにより、割り当てステートメントと分岐述語のリストが作成されます。

シンボリック実行に関する問題:

  • ループ内の反復回数がわかっている場合、シンボリック実行を続行できません。

  • 2番目の問題は、アウトオブラインコードまたはモジュール呼び出しの呼び出しです。

  • シンボリック実行は配列では使用できません。

  • シンボリック実行では、実行不可能なパスを識別できません。

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

  • パスドメインチェック

  • テストデータの生成

  • パーティション分析

  • シンボリックデバッグ