第 1 章引论（逐页还原 · 广金换图）第 33 页

软件测试的反向思维

Glenford J. Myers （反向思维的代表）
测试是为了证明程序有错，而不是证明程序无错误
一个好的测试用例是在于它能发现至今未发现的错误
一个成功的测试是发现了至今未发现的错误的测试