软件测试-第二章.pptVIP

2.3 测试的复杂性与经济性 穷举测试工作量太大，实际上是行不通的， 这就注定了一切实际测试都是不彻底的。 选择测试用例时应注意遵守测试的“经济性”原则： 第一，根据程序的重要性和一旦发生故障将造成的损失 来确定它的测试等级； 第二，认真研究测试策略，以便能使用尽可能少的测试 用例，发现尽可能多的程序故障。 因此，软件测试的一个基本问题是经济学问题。 软件测试的总目标是充分利用有限的人力和物力资源， 高效率、高质量地完成测试。 2.4 测试的充分性问题 不充分的测试是愚蠢的，而过度的测试则是一种罪孽。 不不充分的测试势必使软件带着一些未揭露的隐藏故障 投入运行，这可能使用户承担更大的危险； 而过度测试则会浪费许多宝贵的资源。 测试的一个合理目标就是： 开发出足够的测试用例， 以保证软件在典型应用和关键系统中不会存在什么问题。 测试充分性准则具有以下的一些基本性质： ● 空测试对于任何软件都是不充分的。 ● 对任何软件都存在有限的充分测试数据集，这一性质称为有限性。 ● 如果一个测试数据集对一个软件系统的测试是充分的，那么再增加一些测试用例也是充分的，这一性质称为单调性。 ● 软件越复杂，需要的测试用例就越多，这一性质称为复杂性。 ● 测试得越多，进一步测试所能得到的充分性增长就越少，这一性质称为回报递减律。 2.4 测试的充分性问题 基于程序的测试数据集充分性公理。 公理2.1 (非外延性公理)：如果有两个功能相同而 实现不同的程序，对其中一个是充分的测试数据集 对另一个不一定是充分的。 公理2.2 (多重修改公理)：如果两个程序具有相同 的语法结构，对一个是充分的测试数据集对另一个 不一定是充分的。 2.4 测试的充分性问题 公理2.3 (不可分解公理)：对一个程序进行了充分 的测试，并不表示对其中的成分都进行了充分的测 试。 公理2.4 (非复合性公理)：对程序各单元是充分的 测试数据集并不一定对整个程序（集成后）是充分 的。 2.4 测试的充分性问题 2.5 测试原则 从不同的角度出发，软件测试会派生出两种不同的测试原则。 从用户的角度出发，就是希望通过软件测试能充分暴露软件中存在的问题和故障。 从开发者的角度出发，就是希望测试能表明软件产品已经正确地实现了用户的需求，没有软件故障存在。 因此，软件测试中 一个最为重要的问题是人们的心理学问题。 2.5 测试原则 例如： ? 完全测试程序是不可能的 ? 软件测试是有风险的 ? 测试无法显示隐藏的软件故障 ? 存在的故障数量与发现的故障数成正比 ? 杀虫剂现象 ? 并非所有软件故障都能修复 ? 一般不要扔掉测试用例 ? 应避免测试自己编写的程序 ? 测试工作应该由独立的专业软件测试机构来完成 ? 软件测试是一项复杂的，具有创造性的和需要高度 智慧的挑战性任务 一些至关重要的测试原则或方针，可以视为软件测试和软件开发的“交通规则”或者“生活法则”。 2.6 停止测试的标准 因为无法判定当前发现的故障是否是最后一个故障，所以决定什么时候停止测试是一件非常困难的事。受经济条件的限制，测试最终一定要停止。 五类常用的停止测试标准 ? 测试超过了预定的时间则停止测试。 ? 执行了所有测试用例但没有发现故障，则停止测试。 ? 使用特定的测试用例设计方法作为判断测试停止的基础。 ? 正面指出测试停止的要求，比如发现并修改70个故障。 ? 根据单位时间内查出故障的数量决定是否停止测试。 第三类标准把使用特定的测试用例设计方法作为判断测试停止的基础。 这类标准比前面两个标准优越，但它存在以下三方面的问题： 1. 在没有特定方法的测试阶段中无效，如系统测试阶段。 2. 这仍是一个主观的衡量标准，因为无法保证测试人员准确、严格地使用了某种方法，如边界值分析。 3. 这类标准只给定了一个测试用例设计的方法，并不是一个确定的目标。只有测试人员确实能够成功地运用测试用例设计的方法时，才能应用这类标准，并且这种标准只对某些测试阶段适用。 2.6 停止测试的标准 2.6. 停止测试的标准 第四类标准正面指出了停止测试的要求。 这类标准虽然加强了测试的定义。但仍存在两个问题： 一个问题是如何知道将要查出的故障数，为了得到这个数字，要求： 1）．估计程序中故障的总数。 2）．估计这些故障中通过测试的比例，有多少故障可以很容易地被找出来。 3）．估计哪些故障产生于某些特定的设计过程，估计这些故障将在测试的哪个阶段被查出。 另一个明显的问题是过高地估计故障的总数。如果在测