テストケース自動生成器をつくる

はじめに プログラムから自動的にテストケースを生成するテストケース生成器を作ってみます． プログラミング言語は Scheme, 処理系は Gauche を使います。 プログラムの構文 プログラムの構文は次のようにします。S式です。 変数は整数型だけとします。 文は5種類用意します： skip (set! 変数 式) (if 条件 文 文) (while 条件 文) (block 文 ...) 式は前置記法で、次の演算子を用意します： and or not = > < >= <= + - div しくみ 基本的な考え方： if 文の条件に着目する プログラムからテストケースを作るときは，if 文に着目して，その条件が成り立つ場合と成り立たない場合をそれぞれテストケースとします． この条件を，プログラムの入口の方に向かって変換していって，プログラムの先頭で成り立つべき条件が得られれば，それがテ

[iga_k]

別の現場で流れてきたはつがいさんのブログ。