<http://slashdot.jp/article.pl?sid=03/03/14/0258247>
氏曰く「プログラムには意図は記述されていませんから、意図を表現する
ためのテストプログラムを用意」する。なるほど「テストプログラム＝意
図の表現」か。