EW. Dijkstra指出 “程序测试能证明错误的存在,但 不能证明错误不存在.” 测试的目的是发现程序中 的错误,是为了证明程序有错, 而不是证明程序无错E.W.Dijkstra 指出: “程序测试能证明错误的存在,但 不能证明错误不存在. ” 测试的目的是发现程序中 的错误,是为了证明程序有错, 而不是证明程序无错