1实验目的与要求
使学生能够更进一步理解白盒测试方法，能够区分语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖所达到的覆盖层次，并能用各层次覆盖的设计思想设计相应的测试用例。
2实验环境
硬件：笔记本电脑
软件：word
参考资料：《软件测试》
3准备工作
语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖的基础理论；给定待解决的问题；给定待测试程序。
4实验内容
某程序的逻辑设计如下图所示，自行分析程序结构，请为该程序设计测试用例使其分别达到：语句覆盖、条件组合覆盖和路径覆盖，并按照测试用例测试程序，完善测试用例各项内容的填写。
5实验步骤
a)依据程序逻辑结构图分析程序结构，找出程序的所有判定，并设计测试用例使之达到判定覆盖。
b)依据程序逻辑结构图分析程序结构，找出程序的所有条件组合。
c)依据实验要求设计测试用例使测试达到（条件）组合覆盖。
d)依据程序逻辑结构图分析程序结构，找出程序的所有路径。
e)依据实验要求设计测试用例使测试达到路径覆盖。
6设计结果
（1）达到语句覆盖的测试用例：
| 编码 | 测试目标 | 输入数据 | 预计输出 | 实际输出 | 缺陷标识 |
| 001 | 覆盖语句①②③④⑤⑥⑨ | （98，36，是） | 是优干 | ||
| 002 | 覆盖语句 ①②③④⑤⑨ | (,50, 是) | 是优干 | ||
| 编码 | 测试目标 | 输入数据 | 预计输出 | 实际输出 | 缺陷标识 |
| 001 | 覆盖条件组合： 判定③：T 判定④: F 判定⑦:TT | （88，56，是） | 是优干 | ||
| 002 | 覆盖条件组合： 判定③：F | （90，23 否） | 不是优干 | ||
| 003 | 覆盖条件组合： 判定③：T 判定④: T 判定:F | （95，35 是） | 是优干 | ||
| 004 | 覆盖条件组合： 判定③：T 判定④: T 判定:F | （96，25 否） | 不是优干 | ||
| 005 | 覆盖条件组合： 判定③：T 判定④: F 判定:FF | （79，45 否） | 不是优干 | ||
| 006 | 覆盖条件组合： 判定③：T 判定④: F 判定:FT | （79，55 否） | 不是优干 | ||
| 007 | 覆盖条件组合： 判定③：T 判定④: T 判定:TF | （78.55 否） | 不是优干 |
| 编码 | 测试目标 | 输入数据 | 预计输出 | 实际输出 | 缺陷标识 |
| 001 | 覆盖路径ABCDEK | （98，36，是） | 是优干 | ||
| 002 | 覆盖路径ABCDF | （98,25， 否） | 不是优干 | ||
| 003 | 覆盖路径ABCGHL | （85，55 是） | 是优干 | ||
| 004 | 覆盖路径ABCGI | （85，45 否） | 不是优干 | ||
| 005 | 覆盖路径ABJ | （80，25 否） | 不是优干 |
