软件测试-第二章【荐】.pptVIP

2.3 测试的复杂性与经济性 穷举测试工作量太大，实际上是行不通的， 这就注定了一切实际测试都是不彻底的。 选择测试用例时应注意遵守测试的“经济性”原则： 第一，根据程序的重要性和一旦发生故障将造成的损失 来确定它的测试等级； 第二，认真研究测试策略，以便能使用尽可能少的测试 用例，发现尽可能多的程序故障。 因此，软件测试的一个基本问题是经济学问题。 软件测试的总目标是充分利用有限的人力和物力资源， 高效率、高质量地完成测试。 2.4 测试的充分性问题 不充分的测试是愚蠢的，而过度的测试则是一种罪孽。 不不充分的测试势必使软件带着一些未揭露的隐藏故障 投入运行，这可能使用户承担更大的危险； 而过度测试则会浪费许多宝贵的资源。 测试的一个合理目标就是： 开发出足够的测试用例， 以保证软件在典型应用和关键系统中不会存在什么问题。 测试充分性准则具有以下的一些基本性质： ● 空测试对于任何软件都是不充分的。 ● 对任何软件都存在有限的充分测试数据集，这一性质称为有限性。 ● 如果一个测试数据集对一个软件系统的测试是充分的，那么再增加一些测试用例也是充分的，这一性质称为单调性。 ● 软件越复杂，需要的测试用例就越多，这一性质称为复杂性。 ● 测试得越多，进一步测试所能得到的充分性增长就越少，这一性质称为回报递减律。 2.4 测试的充分性问题 基于程序的测试数据集充分性公理。 公理2.1