7-8白盒测试及其用例的设计精选.ppt

改为单个条件判定的嵌套结构的例子 * 作业题 * 作业题 试做出左边三角形问题的语句覆盖,条件覆盖,判定覆盖,判定－条件覆盖、组合条件覆盖的测试用例.并注明满足覆盖的条件.eg: a b c 3 4 5 T1T2T3F4F5F6 * 基本路径测试 * 基本路径测试 基本路径测试法是在程序控制流图的基础上， 通过分析控制构造的环路复杂性，导出基本可 行路径的集合，从而设计测试用例的方法。设 计出的测试用例要保证被测试程序的每个可执 行语句至少执行一次。 完成路径测试的理想情况是做到路径覆盖， 但对于复杂性大的程序要做到所有路径覆盖 是不可能的。 * 基本路径测试 在不能做到所有路径覆盖的前提下，如 果某一程序的每一个独立路径都被测试 过，那么可以认为程序中的每个语句都 已经检验过了，即达到了语句覆盖。这 种测试方法就是通常所说的基本路径测 试方法。 * void DoWork(int x,int y,int z) { int k=0,j=0; if((x3)(z10)) { k=x*y-1; //语句块1 j=sqrt(k); } if((x= =4)||(y5)) { j=x*y+10; //语句块2 } j=j%3; //语句块3 } 函数的流程图 * 基本路径测试 这个例子是一个很简单的程序函数，只有四条路径。但在实践中，一个不太复杂的程序，其路径都是一个庞大的数字，要在测试中覆盖所有的路径是不现实的。 * 为了解决这一难题，只得把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行一次。 基本路径测试就是这样一种测试方法，它在程序控制图的基础上，通过分析控制构造的环行复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 设计出的测试用例要保证在测试中程序的每一个可执行语句至少执行一次。 * 在介绍基本路径方法之前，必须先介绍一种简单的控制流表示方法，即流图。 控制流图（可简称流图）是对程序流程图进行简化后得到的，它可以更加突出的表示程序控制流的结构。 控制流图中包括两种图形符号：节点和控制流线。 节点由带标号的圆圈表示，可代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。 控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。 对于复合条件，则可将其分解为多个单个条件，并映射成控制流图。 常见结构的控制流图 * 常见结构的控制流图 其中，包含条件的节点被称为判定节点（也叫谓词节点），由判定节点发出的边必须终止于某一个节点，由边和节点所限定的范围被称为区域。 * 1. 程序的控制流图 * 1. 程序的控制流图 * 区域 * 程序的控制流图 如果判断中的条件表达式是由一个或多 个逻辑运算符 ( ||, , ...) 连接的复合 条件表达式，则需改为 一系列只有单个 条件的嵌套的判断。 * * 程序的控制流图 if(a||b) 执行x； else 执行y； * 1. 程序的控制流图 * 复合条件下的控制流图 (a) 程序；(b) 控制流图 * 基本路径测试 基本路径测试方法是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集合，再从该基本集设计测试用例。基本路径测试方法包括4个步骤： * 基本路径测试 （1）画出程序的控制流图。 （2）计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 * 基本路径测试 （3）导出基本路径集，确定程序的独立路径。 （4）根据(3)中的独立路径，设计测试用例的输入数据和预期输出。 * 第一步：画出控制流图 c/c++语句中的控制语句表示含义如下： 图中的每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流。 为了说明流图的用法，我们采用过程设计表示法，此处，流程图用来描述程序控制结构。可将流程图映射到一个相应的流图(假设流程图的菱形决定框中不包含复合条件)。在流图中，每一个圆，称为流图的结点，代表一个或多个语句。一个处理方框序列和一个菱形决测框可被映射为一个结点，流图中的箭头，称为边或连接，代表控制流，类似于流程图中的箭头。一条边必须终止于一个结点，即使该结点并不代表任何语句(例如：参见if-else-then结构的符号)。由边和结点限定的范围称为区域。计算区域时应包括图外部的范围。 任何过程设计都要被翻译成控制流图。 * void Sort(int iRecordNum,int iType) 1 { 2 i