程序测试只能证明错误的存在,但不能证明错误的不存在
出自:湖南大学 - 软件工程