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