IBMRational软件测试技术G.J.Myers的经典著作《软件测试之艺术》（TheArtofSoftwareTesting）中给出的测试的定义是：“程序测试是为了发现错误而执行程序的过程“，他认为：测试是为了证明程序有错，而不是证明程序无错误；一个好的测试用例是在于它能发现至今未发现的错误；一个成功的测试是发现了至今未发现的错误的测试。