Date:  Mon, 3 Mar 2003 09:31:33 +0900
From:  Kaznari Miyata <kaz_miyata@....jp>
Subject:  [XP-jp:04153] Re: 幻覚剤としてのテストファースト
To:  extremeprogramming-jp@....jp
Message-Id:  <200303030931.AAE12965.YZBBB_JLNU@....jp>
In-Reply-To:  <4EC2DE57596261omura@....jp>
References:  <4EC2DE57596261omura@....jp>
X-Mail-Count: 04153

みやたです。
> おおむらです
＜省略します。＞ 
> つまり、ダイクストラが言っているように、テストは
> バグの存在を示すことはできても、プログラムが正しい
> ことは証明できない。ではありませんか。

XPで作成したプログラムが、顧客の要求をみたしている
（プログラムが正しい）かどうかを確認するのは、機能
テストで行うって事で、テストファーストでは、ここまでの
品質を保証するよって事ではないのでしょうか？


/************************************************/
宮田 和成