测试可以证明程序有错,也可以证明程序没有错误。

出自:国家开放大学软件测试(本)