1）软件测试是为了发现错误而执行程序的过程。2）测试是为了证明程序有错，而不是证明程序无错。（发现错误不是唯一目的）3）一个好的测试用例在于它发现至今未发现的错误。4）一个成功的测试是发现了至今未发现的错误的测试。
