入力ソース コード、テスト基準や仕様、データ構造の定義としてを受け入れるソフトウェア ツール。これらの入力を使用して、テストの入力データを生成します。そして、時に、期待どおりの結果を決定します。