软件评测师教程（第6章 白盒测试技术）

第6章白盒测试技术

1、白盒测试基本技术

词法分析与语法分析、静态错误分析、表达式分析、接口分析

2、程序插桩技术

程序插桩方法：是借助往被测程序中插入操作，来实现测试目的的方法。

插桩时需要考虑哪些问题：

1）、探测哪些信息

2）、在程序的什么部位设置探测点

3）、需要设置多少个探测点

3、代码检查方式

桌面检查、代码审查、走查

4、静态结构分析

由于可能没有在所有的出口进行动态内存的释放与回收操作，困些这样的结构存在内存泄漏的可能。

5、逻辑覆盖法

白盒测试的动态测试要根据程序的控制结构设计测试用例，原则是

1）、保证一个模块中的所有独立路径至少被使用一次

2）、对所有逻辑值均需测试true和false

3）、在上下边界及可操作范围内运行所有循环

4）、检查内部数据结构以确保其有效性。

语句覆盖：

程序中的每条词句至少执行一次

判定覆盖

设计足够测试用例，使得程序中的每个判定至少都获得一次“真值”或“假值”，或都说使得程序中的每一个取“真”或“假”分支至少经历一次，因些判定覆盖又称分支覆盖。

A&&(B||C),A||(B||C)

A=T,B=T,C=T

A=F,B=F,C=F

条件覆盖

构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次

A&&(B||C),A||(B||C)

A=T,B=F,C=T

A=F,B=T,C=F

条件判定组合覆盖

设计足够的测试用例，使得判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。

A&&(B||C),A||(B||C)

A=T,B=T,C=T

A=F,B=F,C=F

多条件覆盖

使得每个判定中条件的各种可能组合都至少出现一次。

A&&(B||C),A||(B||C)

A------B--------C

T------T--------T

T----- T-------F

T------F--------T

T------F--------F

F------F--------F

F------F--------T

F------T--------F

F------T--------T

修正条件判定覆盖

每一个程序模块的入口和出口都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值至少转换一次；其次，程序的判定被分解为通过逻辑操作符（and、or）连拉的bool条件，每个条件对于判定的结果值是独立的。

6、基本路径法

环路复杂性V（G）=判定项个数+1