1

私はソフトウェアテストの初心者です。私が知りたいのは、自動化されたテスト ケース ジェネレーターのブラック ボックス テスト用のオープン ソース ツールがあるかどうかです。

このツールKLEE: unassisted and automatic generation of high-coverage tests for complex systems programsを見つけましたが、このツールを使用するには、いくつかのコード計測を行う必要があります。ソースコードにアクセスできないため、コード計測なしで自動テストケースを生成する方法はありますか?

4

1 に答える 1

0

KLEE はプログラムを変更せずに動作します。シンボリック コマンド ライン入力とシンボリック入力ファイルを生成することができます。この目的で使用できるコマンドの例を次に示します。

-sym-arg - 長さ N のシンボリック引数に置き換えます

-sym-args - 少なくとも MIN 個の引数、最大で MAX 個の引数 (それぞれ最大長 N) で置き換えます

-sym-files - stdin および最大 NUM 個のシンボリック ファイルを作成します。それぞれ最大サイズ N です。

-sym-stdout - stdout をシンボリックにします。

例は、KLEE の Web サイトのチュートリアルにあります。

于 2011-12-20T06:12:30.263 に答える