Pipeline と PathFinder

Menu

Pipeline の例題がきちんと停止することを Java PathFinder を使って確認せよ。

まず、きちんと停止することを確認する assert を考える。

jpf で実行してみる。

停止しないプログラムを作成して、assert が失敗することを確認せよ。

停止するプログラムを作成して、assert が成功することを確認せよ。

これは、プログラムがちゃんと動くことの保証になっているか?


Shinji KONO / Mon Dec 17 19:12:12 2012