白盒测试及测试用例设计

白盒测试定义

白盒测试又称为结构测试或逻辑驱动测试，是基于程序的测试，对软件的过程性细节做细致的检查，把测试对象看做一个打开的盒子，允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。

白盒测试类型

1. 静态测试：代码审查、桌面检查、代码走查
2. 动态测试：基本路径测试、符号测试、逻辑驱动测试、循环测试、数据流测试

主要测试方法

• 语句覆盖
• 判定覆盖
• 条件覆盖
• 判定条件覆盖
• 条件组合覆盖
• 路径覆盖

测试用例设计

1.实例代码

public static int DoWord(int x,int y,int z){
		if(x>3&&z<10)
		   y=y/x+4;
		if (x==4 || y>5)
		   y=x*y-10;
		return y;
	}

2. 测试用例

• 语句覆盖：每条语句至少被执行一次。
  

• 判定覆盖：每个判定的“真”和“假”分支都至少被执行一次。
  

• 条件覆盖：判定中每个条件获得各种可能的结果，即每个条件至少有一次为“真”，一次为“假”。
  

• 判定条件覆盖：每个判定（分支）的“真”：和“假”至少执行一次，且每个判定条件的“真”和“假”也至少执行一次。
  

• 条件组合覆盖：每个判定中条件结果的所有可能组合至少执行一次。
  

• 路径覆盖：所有可能的路径至少执行一次。