白盒测试

白盒测试

特点

 

 

 

设计方法

静态方法

1.桌面检查：交互检查

2.代码审查：作者讲解代码规范流程（以会议形式）

3.代码走查：准备数据人工检查实现情况，不真的运行（会议形式）

4.代码扫描工具：根据编码规范让工具检查

动态方法

逻辑覆盖

1.语句覆盖

2.判定覆盖

3.条件覆盖

4.判定条件覆盖

5.条件组合覆盖

6.路径覆盖

基本路径测试

逻辑覆盖法

是通过对程序逻辑结构的遍历实现程序的覆盖

覆盖率=至少被执行一次的item数/item总数

（用来衡量测试完整性的一个手段）

第一步：将代码转换为流程图

 

 

 

1.语句覆盖

设计测试用例，使得程序中每条语句至少被执行一次

 

 

 

需要达到百分百语句覆盖

 

 

 

语句覆盖是六种方法最弱的。

语句覆盖不能判断运算中的逻辑关系。

 

 

 

2.判定覆盖法

 

 

 

 

 

 

只要满足判定覆盖一定满足语句覆盖。

判断覆盖同样会忽略条件中逻辑关系的情况

 

 

 

3.条件覆盖法

设计测试用例，使得判定中的每个条件至少有一个取真值，有一次取假值。

 

 

 

 

 

 

4.判定条件覆盖

百分百条件覆盖加百分百判定覆盖

 

 

 

满足条件覆盖、判定覆盖、语句覆盖。

仍然没办法发现逻辑错误。

 

 

 

5.条件组合覆盖

设计测试用例，使得被测试程序中的每个判定中条件结果的所有组合都被至少执行一次。

 

 

 

 

 

6.路径覆盖

设计用例，覆盖程序中所有可能的路径

从开始到结束数出路径

 

 

 

当程序复杂时，路径覆盖不能满足条件覆盖和判定条件覆盖，路径量将会巨大（当有循环出现的时候）

 

 

 

基本路径测试法

在程序控制流图的基础上，通过分析程序的环路复杂性、导出基本可执行路径集合，从而设计测试用例

基本步骤

• 根据代码画出程序控制流程图

• 计算程序环路复杂度

• 导出可执行路径

• 设计测绘用例

 

 

 

 

 

 

 

 

 

---

总结