软件测试只能证明程序有错误,不能证明程序没有错误。
出自:国家开放大学《系统开发规范与文档编写》