EW. Dijkstra指出 “程序测试能证明错误的存在,但 不能证明错误不存在.” 测试的目的是发现程序中 的错误,是为了证明程序有错, 而不是证明程序无错
E.W.Dijkstra 指出: “程序测试能证明错误的存在,但 不能证明错误不存在. ” 测试的目的是发现程序中 的错误,是为了证明程序有错, 而不是证明程序无错
把证明程序无错当作测试目的不仅 是不正确的,完全做不到的,而且对做 好测试没有任何益处,甚至是十分有害 的 软件测试要设法使软件发生故障, 暴露软件错误 测试的“成功与“关败” 能够发现错误的测试是成功的 测试,否则是失败的测试
把证明程序无错当作测试目的不仅 是不正确的, 完全做不到的,而且对做 好测试没有任何益处,甚至是十分有害 的. 软件测试要设法使软件发生故障, 暴露软件错误 测试的“成功”与“失败” 能够发现错误的测试是成功的 测试,否则是失败的测试
“测试的目的是说明程序正确地执行 它应有的功胎”这种说法正确吗? 例:程序 Triangle,输入三个整数,表示 个三角形的三个边长,该程序产生一个结果 ,指出该三角形是等边三角形、等腰三角形 还是不等边三角形。 为说明其能正确执行它的功能,可使用 测试用例”(3,4,5),(5,5,6),(6,6,6) 程序都能给出正确结果,是否就可认为程序 是正确的?
“测试的目的是说明程序正确地执行 它应有的功能” 这种说法正确吗? 例:程序Triangle,输入三个整数,表示一 个三角形的三个边长,该程序产生一个结果 ,指出该三角形是等边三角形、等腰三角形 还是不等边三角形。 为说明其能正确执行它的功能,可使用 “测试用例”(3,4,5),(5,5,6),(6,6,6), 程序都能给出正确结果,是否就可认为程序 是正确的?
难以说清的软件缺陷 如果软件中的问题没有人发现,那么 它算不算软件缺陷?” 古谚:“一片树叶飘落在森林中没有人听见 眼 谁能说它发出了声音?” 由于不能报告没有看见的问题,因此, 没有看见就不能说存在软件缺陷 见为实 只有看到了,才能断言软件缺陷,尚未 发现的软件缺陷只能说是未知软件缺陷
难以说清的软件缺陷 古谚:“一片树叶飘落在森林中没有人听见 , 谁能说它发出了声音?” 由于不能报告没有看见的问题,因此, 没有看见就不能说存在软件缺陷 如果软件中的问题没有人发现,那么 它算不算软件缺陷?” 只有看到了,才能断言软件缺陷,尚未 发现的软件缺陷只能说是未知软件缺陷。 眼 见 为 实
6.1.2测试原则 (1)所有的测试都应追溯到用户需求 最严重的错误(从用户角度)是那 些导致软件无法满足需求的错误 程序中的问题根源可能在开发 前期的各阶段解决、纠正错误也必须 追溯到前期工作
6.1.2 测试原则 (1)所有的测试都应追溯到用户需求 最严重的错误(从用户角度)是那 些导致软件无法满足需求的错误。 程序中的问题根源可能在开发 前期的各阶段解决、纠正错误也必须 追溯到前期工作