7.12软件测试原理 ◆不彻底性。“程序测试只能证明错误的存在,不能证 明错误不存在”揭示了软件测试一个重要性质—不彻 底性。彻底的测试往往是一个无穷量的“穷举”测试, 实际上往往是行不通的。 ◆经济性。软件测试是一项经济性活动,测试的投入 效益比应该是非常关注的指标。测试投入的成本是时间、 人力和资源等,其经济效益是“找没找到错”、“找到 了多少错”。测试投入是有限的,测试也只能是有限的。7.1.2 软件测试原理 ◆不彻底性。“程序测试只能证明错误的存在，不能证 明错误不存在”揭示了软件测试一个重要性质——不彻 底性。彻底的测试往往是一个无穷量的“穷举”测试， 实际上往往是行不通的。 ◆经济性。软件测试是一项经济性活动，测试的投入— 效益比应该是非常关注的指标。测试投入的成本是时间、 人力和资源等，其经济效益是“找没找到错” 、 “找到 了多少错” 。测试投入是有限的，测试也只能是有限的