实验题目

实验一 白盒测试方法

实验目的和要求

1. 熟练掌握白盒测试方法中的逻辑覆盖和路经测试覆盖方法
2. 通过实验掌握逻辑覆盖测试的测试用例设计，掌握程序流图的绘制。
3. 运用所学理论，完成实验研究的基本训练过程。

实验内容和原理

实验内容：测试以下程序段

void DoWork(int x, int y, int z){
    int K=0, j=0;
    if( (x>0) && (z<10) ){
        k=x*y-1;
        j=sqrt(k);
    }
    if((x==4)||(y>5)){
        j=x*y+10;
    }
    j=j%3;
}

主要仪器设备：

笔记本电脑

操作方法与实验步骤

1. 画出程序的控制流图（用题中所给的语句编号表示）。
2. 分别以语句覆盖、判定覆盖、条件覆盖和基本路径覆盖法设计测试用例，并写出每个测试用例的执行路径（用体重给出的语句编号表示）。
3. 编写完整的C程序（含输入和输出），使用你所设计的测试用例运行上述程序段。完整填写相应的测试用例表（语句覆盖测试用例表、判定覆盖「分支覆盖」测试用例表、条件覆盖测试用例和基本路径测试用例表）。

说明

1. 测试用例表中的“覆盖标准”项指：语句覆盖、判定覆盖（分支覆盖）、条件覆盖和基本路径覆盖。

2. 测试用例表（样表）见表1。