白盒基本路径发测试实验报告_浅谈白盒测试

定义：

白盒测验（White-box Testing，又称逻辑驱动测验、结构测验）就是把测试对象看做一个透明的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，测验软件内部结构和处理进程，不需测验软件产品的功用。

目的：

覆盖程序中的每一条执行路径，从而发现代码中的错误，但是程序中一般都有循环，路径数目很大，不可能测试每一条路径，所以只能希望用例能够覆盖代码的程度尽量高些。

程序检查：

1. 对模块每一个独立的执行路径至少测试一次；
2. 对所有逻辑判定的每一个分支(真与假)都至少测试一次；
3. 在循环的边界和运行界限内执行循环体；
4. 测试内部数据结构的有效性；

覆盖标准：

1. 逻辑覆盖：

▉ 语句覆盖 ( A和B A或B A与B A同B A并B A且B )

▉ 判定覆盖 ( A and B的结果是 true/false, A or B的结果是 true/false )

▉ 条件覆盖 ( 当A为1及B为0时，此时A/B都存在一个条件可能 )

2. 控制结构覆盖测试：

一、基本路径测试

在程序控制图的基础上，通过分析控制构造的环行