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

シンボリック実行のアプリケーションとは何ですか？ symbolic executionはpath conditionのみ生成しますか？シンボリック実行を使用してcontractを確認するにはどうすればよいですか？シンボリック実行のアプリケーション

出典

2016-09-17 any

記号実行の最も有名な使用法は、テスト入力の生成です。たとえば、KLEEは、シンボリック実行を使用してCプログラムのテスト入力を生成するツールです。

別のアプリケーションは、アサーションのチェックです。契約によって、前後の条件を意味するならば、その目的のために記号的実行も使用できます。

出典

2016-09-20 15:29:40 afsafzal

ありがとうございます。シンボリック実行は、制約ソルバを補助するだけでテスト入力を生成しますか？前後の状況をチェックするためのシンボリック実行の使い方についてもっと教えてください。 – any

私が知っている限り、それは制約ソルバの助けを借りてテスト入力を生成します。最も簡単なアイデア：前条件と後条件を持つ関数があるとします。シンボリック実行を使用すると、その関数のすべての可能なパスのパス条件が見つかります。「事後条件および経路条件」がすべての経路内で充足可能である場合、事後条件が成立する。 – afsafzal

あなたの親切な助けをありがとう。「事後条件と経路条件」が充足可能であるか「前条件と経路条件」であるか？ – any

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

答えて

関連する問題