第6章 实现(ok).ppt

条件覆盖通常比判定覆盖强，因为它使判定表达式中每个条件都取到了两个不同的结果，判定覆盖却只关心整个判定表达式的值。 * 条件组合覆盖指：选取足够的测试用例，使得每个判定表达式中条件的各种可能的组合都至少出现一次。 * 以上根据测试数据对源程序语句检测的详尽程度，简单讨论了几种逻辑覆盖标准。在上面的分析过程中常常谈到测试数据执行的程序路径，显然，测试数据可以检测的程序路径的多少，也反映了对程序测试的详尽程度。从对程序路径的覆盖程度分析，能够提出下述一些主要的逻辑覆盖标准。 * 点覆盖是指：选取足够多的测试用例，使得程序执行路径至少经过程序图中每个节点一次。 图论中点覆盖的概念定义如下：如果连通图G的子图G′是连通的，而且包含G的所有结点，则称G′是G的点覆盖。 在第6.5节中已经讲述了从程序流程图导出流图的方法。在正常情况下流图是连通的有向图。满足点覆盖标准要求选取足够多的测试数据，使得程序执行路径至少经过流图的每个结点一次，由于流图的每个结点与一条或多条语句相对应，显然，点覆盖标准和语句覆盖标准是相同的。 * * 黑盒测试着重测试软件的功能需求，也就是说，黑盒测试让软件工程师设计出能充分检查程序所有功能需求的输入条件集。 黑盒测试并不能取代白盒测试技术，它是与白盒测试互补的方法，它很可能发现白盒测试不易发现的其他不同类型的错误。 白盒测试在测试过程的早期阶段进行，而黑盒测试主要用于测试过程的后期。设计黑盒测试方案时，应该考虑下述问题： * 黑盒测试着重测试软件的功能需求，也就是说，黑盒测试让软件工程师设计出能充分检查程序所有功能需求的输入条件集。 黑盒测试并不能取代白盒测试技术，它是与白盒测试互补的方法，它很可能发现白盒测试不易发现的其他不同类型的错误。 白盒测试在测试过程的早期阶段进行，而黑盒测试主要用于测试过程的后期。设计黑盒测试方案时，应该考虑下述问题： * 以前曾经讲过，穷尽的黑盒测试（即用所有有效的和无效的输入数据来测试程序）通常是不现实的。因此，只能选取少量最有代表性的输入数据作为测试数据，以期用较小的代价暴露出较多的程序错误。等价划分法力图设计出能发现若干类程序错误的测试用例，从而减少必须设计的测试用例的数目。 这样选取的测试数据最有代表性，最可能发现程序中的错误。 使用等价划分法设计测试方案首先需要划分输入数据的等价类，为此需要研究程序的功能说明，从而确定输入数据的有效等价类和无效等价类。在确定输入数据的等价类时常常还需要分析输出数据的等价类，以便根据输出数据的等价类导出对应的输入数据等价类。 * * * G.Myers给出了关于测试的一些规则，这些规则也可以看作是测试的目标或定义。 (1) 测试是为了发现程序中的错误而执行程序的过程； (2) 好的测试方案是极可能发现迄今为止尚未发现的错误的测试方案； (3) 成功的测试是发现了至今为止尚未发现的错误的测试。 这和某些人通常想象的“测试是为了表明程序是正确的”，“成功的测试是没有发现错误的测试”等等是完全相反的。正确认识测试的目标是十分重要的，测试目标决定了测试方案的设计。如果为了表明程序是正确的而进行测试，就会设计一些不易暴露错误的测试方案；相反，如果测试是为了发现程序中的错误，就会力求设计出最能暴露错误的测试方案。 * 为了能设计出有效的测试方案，软件工程师必须深入理解并正确运用指导软件测试的基本准则。下面讲述主要的测试准则。 （1） 所有测试都应该能追溯到用户需求。正如上一小节讲过的，软件测试的目标是发现错误。从用户的角度看，最严重的错误是导致程序不能满足用户需求的那些错误。 （2） 应该远在测试开始之前就制定出测试计划。实际上，一旦完成了需求模型就可以着手制定测试计划，在建立了设计模型之后就可以立即开始设计详细的测试方案。因此，在编码之前就可以对所有测试工作进行计划和设计。 （3） 把Pareto原理应用到软件测试中。Pareto原理说明，测试发现的错误中的80%很可能是由程序中20%的模块造成的。当然，问题是怎样找出这些可疑的模块并彻底地测试它们。 （4） 应该从“小规模”测试开始，并逐步进行“大规模”测试。通常，首先重点测试单个程序模块，然后把测试重点转向在集成的模块簇中寻找错误，最后在整个系统中寻找错误。 （5） 穷举测试是不可能的。所谓穷举测试就是把程序所有可能的执行路径都检查一遍的测试。即使是一个中等规模的程序，其执行路径的排列数也十分庞大，由于受时间、人力和资源的限制，在测试过程中不可能执行每个可能的路径。因此，测试只能证明程序中有错误，不能证明程序中没有错误。但是，精心地设计测试方案，有可能充分覆盖程序逻辑并使程序达到所要求的可靠性。 （6） 为了达到最佳的测试效果，应该由独立的第三方从事测试工作。所谓“最佳效果”是