白盒软件测试.pptVIP

第4章 白盒测试技术 4.1 逻辑覆盖测试 4.2 路径分析测试 4.3 循环测试 4.4 代码检查法 4.5 白盒测试综合策略 4.6 案例设计 第4章 白盒测试技术 第4章 白盒测试技术 4.1 逻辑覆盖测试 4.1 逻辑覆盖测试 4.1 逻辑覆盖测试 程序4_1： 1 /** 2 * 白盒测试逻辑覆盖测试范例 3 * 4 */ 5 int coverageExample(int x, int y) 6 { 7 int gift=0; 8 if(x0 y0) 9 { 10 gift = x+y+5; // 语句块1 11 } 12 else 13 { 14 gift = x+y-5; // 语句块2 15 } 16 if(gift 0) 17 { 18 gift = 0; // 语句块3 19 } 20 return gift; // 语句块4 21 } 4.1.1 语句覆盖 4.1.1 语句覆盖 4.1.2 判断覆盖 4.1.2 判断覆盖 4.1.3 条件覆盖 4.1.3 条件覆盖 4.1.3 条件覆盖 4.1.4 判定-条件覆盖 4.1.4 判定-条件覆盖 4.1.5 判定-条件覆盖 4.1.5 判定-条件覆盖 4.1.5 判定-条件覆盖 4.1.5 判定-条件覆盖 4.1.6 路径覆盖 4.1.6 路径覆盖 4.1.6 路径覆盖 4.2 路径分析测试 4.2 路径分析测试 4.2.1 控制流图 4.2 路径分析测试 4.2.1 控制流图 4.2.1 控制流图 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.2 独立路径测试 程序4_2： 1 import java.util.Scanner; 2 public class Exam4_2 { 3 public static void main(String[] args) { 4 int j,number1=0,number2=0; 5 Scanner scanner = new Scanner(System.in); 6 System.out.print(Enter an integer for i: ); 7 int i = scanner.nextInt（）; 8 System.out.print(Enter 1 or 0 for j: ); 9 j = scanner.nextInt（）; 10 while(i10){ 11 if(j==0) 12 number1++; 13 else if(j==1){ 14 number2++; 15 } 16 i++; 17 } 18 System.out.print(number1 is:+number1+,number2 is:+number2); 19 } 20 } 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.2 独立路径测试 4.2.3 Z路径覆盖测试 4.2.3 Z路径覆盖测试 4.2.3 Z路径覆盖测试 4.2.3 Z路径覆盖测试 Z路径覆盖是将程序中的循环结构简化为选择结构的路径覆盖。 目的:限制循环的次数，简化后的循环测试只考虑执行循环体一次和零次（不执行）两种情况。 4.3 循环测试 4.3 循环测试 4.3.1 简单循环 4.3.2 嵌套循环 4.3.3 串接循环 4.3.4 非结构循环 4.4 代码检查法 4.4 代码检查法 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.1 代码审查 4.4.2 桌面检查 4.4.2 桌面检查 4.4.2 桌面检查 4.4.2 桌面检查 4.4.2 桌面检查 4.4.3 代码走查 4.4.3 代码走查 4.5 白盒测试综合策略 4.5 白盒测试综合策略 4.5.1 最少测试用例数的计算 4.5.1 最少测试用例数的计算 4.5.