把证明程序无错当作测试目的不仅 是不正确的,完全做不到的,而且对做 好测试没有任何益处,甚至是十分有害 的 软件测试要设法使软件发生故障, 暴露软件错误 测试的“成功与“关败” 能够发现错误的测试是成功的 测试,否则是失败的测试。把证明程序无错当作测试目的不仅 是不正确的, 完全做不到的，而且对做 好测试没有任何益处，甚至是十分有害 的. 软件测试要设法使软件发生故障, 暴露软件错误 测试的“成功”与“失败” 能够发现错误的测试是成功的 测试，否则是失败的测试