第6章软件测试浅析.ppt

第6章 软件测试方法;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;（5）充分注意测试中的群集现象。把Pareto原理应用于软件测试。 Pareto原理：测试发现的错误中的80%很可能是由程序中20%的模块造成的。 （6）严格执行测试计划，排除测试的随意性。 （7）应当对每一个测试结果作全面检查。 （8）妥善保存测试计划、测试用例、出错统计和 最终分析报告，为维护提供方便。 ;6.1 软件测试的基本概念;软件测试的对象 软件测试应贯穿于软件定义与开发的整个期间。需求分析、概要设计、详细设计、程序编码等各阶段所得到的文档资料，包括需求规格说明、概要设计规格说明、详细设计规格说明以及源程序，都应成为软件测试的对象。 到程序的测试为止，软件开发工作已经经历了许多环节，每个环节都可能发生问题。为了把握各个环节的正确性，人们需要进行各种确认和验证工作。 ; 确认（validation），是一系列的活动和过程，其目的是想证实在一个给定的外部环境中软件的逻辑正确性。它包括需求规格说明的确认和程序的确认，而程序的确认又分为静态确认与动态确认。 验证（verification），则试图证明在软件生存期各个阶段，以及阶段间的逻辑协调性、完备性和正确性。下图为软件生存期各个重要阶段之间所要保持的正确性。;6.1 软件测试的基本概念;测试方法与技术;测试方法与技术;测试方法与技术; 测试信息流如下图所示。 ; 软件开发过程是一个自顶向下、逐步细化的过程，而测试过程则是依相反的顺序安排的自底向上、逐步集成的过程。低一级测试为上一级测试准备条件。 当然不排除两者平行地进行测试。　;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.1 软件测试的基本概念;6.2 白盒测试的测试用例设计;6.2 白盒测试的测试用例设计;6.2 白盒测试的测试用例设计;6.2 白盒测试的测试用例设计;6.2 白盒测试的测试用例设计;6.2 白盒测试的测试用例???计;语句覆盖;语句覆盖;判定覆盖;判定覆盖;判定覆盖;条件覆盖;条件覆盖;条件覆盖;判定-条件覆盖;判定-条件覆盖;判定-条件覆盖;判定-条件覆盖;条件组合覆盖;条件组合覆盖;条件组合覆盖;路径测试是设计足够的测试用例，覆盖程序中所有可能的 路径。若仍以最初的图为例，则可以选择如下的一组测试 用例，覆盖该程序段的全部路径。 ; 上节的例子是个非常简单的程序段，只有4条路径。但 在实际问题中，一个不太复杂的程序，其路径都是一个庞 大的数字。要在测试中覆盖这么多的路径是不现实的。为 解决这一难题，只得把覆盖的路径数压缩到一定限度内， 如程序中的循环体只执行一次。本节所介绍的基本路径测 试就是这样一种测试方法，它是在程序控制流图的基础 上，通过分析控制构造的环路复杂性，导出基本可执行路 径集合，从而设计测试用例的方法。设计出的测试用例要 保证在测试中程序的每一个可执行语句至少执行一次。; 实施基本路径测试需要利用程序环路复杂性计算的 McCabe方法。基本路径测试法适用于模块的详细设计及源 程序，其主要步骤如下： （1）以详细设计或源代码作为基础，导出程序的控制流图； （2）计算得到的控制流图G的环路复杂性V（G）； （3）确定线性无关的基本路径集； （4）生成测试用例，确保基本路径集中每条路径的执行。 下面以一个求平均值的过程averagy为例，说明测试用 例的设计过程。用PDL描述的averagy过程如下所示。 ;6.3 基本路径测试;1. 由过程描述导出控制流图 利用第五章介绍的符号和构造规则生成控制流图。对于 以上用PDL描述的averagy过程 ，对将要映射为对应控制 流图中一个结点的PDL语句或语句组，加上用数字表示的 标号。加了标号的PDL程序及对应的控制流图如下所示。 ;6.3 基本路径测试;6.3 基本路径测试;path1：1-2-10-11-13 path2：1-2-10-12-13 path3：1-2-3-10-11-13 path4：1-2-3-4-5-8-9-2…… path5：1-2-3-4-5-6-8-9-2…… path6：1-2-3-4-5-6-7-8-9-2…… 路径4、5、6后面的省略号（……）表示在控制结构中以后 剩下的路径是可选择的。在很多情况下，标识判断结点，常 常能够有效地帮助导出测试用例。在上例中，结点2、3、 5、6和10都是