本实验报告详细记录了软件测试课程中关于白盒测试的实践过程，包括测试准备、代码审查及多种测试案例的设计与执行。通过该实验，学生能够深入了解并掌握白盒测试技术及其在保障软件质量中的应用价值。
软件测试实验报告题目一：用逻辑覆盖测试方法测试以下程序段
```cpp
void DoWork (int x,int y,int z) {
1 int k=0, j=0;
2 if ((x>3)&&(z<10))
3 {
4 k=x*y-1;
5 j=sqrt(k);
6 }
7 if((x==4)||(y>5))
8 j=x*y+10;
9 j=j%3;
10 }
```
说明：程序段中每行开头的数字（1~10）是对每条语句的编号。
（1）画出程序的控制流图，使用题中给出的语句编号表示。
（2）分别以以下方法设计测试用例，并写出每个测试用例的执行路径：
- 语句覆盖
- 判定覆盖
- 条件覆盖
- 判定/条件覆盖
- 组合覆盖
- 路径覆盖
5星
