实现白软件工程.pptVIP

复习 软件测试基础 目标 准则 测试方法 测试步骤 单元测试 集成测试 确认测试 内容 白盒测试 7.6 白盒测试技术 测试用例：测试输入数据和预期的输出结果 测试方案：测试目的、测试用例的集合 7.6.1 逻辑覆盖法 1.语句覆盖 选择足够多的测试用例，使得被测试程序中的每条语句至少执行一次。 为了使每个语句都执行一次，程序执行的路径应该为①③⑤⑥，为此可以设计测试用例如下： 输入：a=2,b=0,x=6 输出：a=2,b=0,x=5 7.6.1 逻辑覆盖法 2.判定覆盖 设计足够多的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都执行一次，也称分支覆盖。 两种组测试用例，格式为：〔输入(a,b,x)，输出(a,b,x)〕 7.6.1 逻辑覆盖法 3.条件覆盖 设计足够的测试用例，使得判定表达式中每个条件的各种可能的值至少出现一次。 两个判定表达式共有四个条件：a1、b=0、a=2、x1，设它们为真时分别用T1、T2、T3、T4表示，为假时分别用F1、F2、F3、F4表示。 7.6.1 逻辑覆盖法 4. 判定/条件覆盖 设计足够的测试用例，使得判定表达式中的每个条件的所有可能取值至少出现一次，并使每个判定表达式所有可能的结果也至少出现一次。 7.6.1 逻辑覆盖法 5.条件组合覆盖 较强的覆盖标准，指设计足够的测试用例，使得每个判定表达式中条件的各种可能的值的组合都至少出现一次。 每个判定各有两个条件、四个条件组合 7.6.1 逻辑覆盖法 6.路径覆盖 路径覆盖是指设计足够的测试用例，覆盖被测程序中所有可能的路径。 7.6.2 控制结构测试 1.基本路经测试 （1）根据过程设计结果画出相应的流图 （2）计算流图的环形复杂度 7.6.2 控制结构测试 1.基本路经测试 （3）确定线性独立路经的集合 指至少引入程序中一个新的处理语句或一个新条件的路径。 指至少包含一条在定义该路径之前不曾用过的边。 （4）设计可强制执行基本路经集合中每条路经的测试用例 7.6.2 控制结构测试 2.条件测试 测试程序中的每个条件 3.循环测试 单循环（设n为可允许执行循环的最大次数），设计以下情况的测试用例： (1) 跳过循环。 (2) 只执行循环一次。 (3) 执行两次循环。 (4) 执行循环m次，其中m＜n。 (5) 执行循环n-1次，n次，n+1次。 3.循环测试 嵌套循环，步骤为： (1) 置外循环处于最小循环计数值，对内层进行单循环测试。 (2) 由里向外，进行下一层的循环测试。 3.循环测试 串接循环 循环独立时：简单循环方法 循环不独立时：嵌套循环方法 环形复杂度 McCaBe方法通过计算程序的环形复杂度来定量度量程序的复杂程度。 计算程序的环形复杂度时，需要将程序的控制流用流图来描述。 流图是一种退化了的程序流程图，仅描绘程序的控制流程，完全不表现对数据的具体操作以及分支或循环的具体条件。 环形复杂度 流图画法： 程序流程图中的一个顺序的处理框序列和一个菱形判定框可以映射成流图中的一个结点——用圆表示。 控制流——用箭头表示。 环形复杂度 计算环形复杂度V(G)的方法： 流图中的区域数等于环形复杂度。 V(G)=E-N+2，E是边数，N是结点数。 V(G)=P+1，P是判定结点的数。 返回 总结 白盒测试 逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 * 白盒测试 控制结构 基本路经测试 条件测试 循环测试 *