新思维：C语言程序设计

1.通过实验熟悉测试用例设计； 2.通过实验熟悉白盒测试

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#include <stdio.h>
int main(int argc, char *argv[])
{
    int x, y, z;
    int  k=0,j=0;
    scanf("%d%d%d", &x, &y, &z);
    if((x>3)&&(z<10)) {
        k=x*y-1;
        j=sqrt(k);
    }
    if((x==4)||(y>5)) {
        j=x*y+10;
    }
    j=j%3;
    printf("k=%d, j=%d\n", k, j);
 
    return 0;
}

【实验内容】
1、画出上面函数的流程图。
2、分别使用语句覆盖、判定覆盖（也称为分支覆盖）、条件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例（注意测试用例的格式）。
3、执行每个测试用例，执行完毕后填写测试用例。

白盒测试（逻辑覆盖法）

语句覆盖：测试用例能使被测程序中的每条执行语句至少执行一次
判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”。又称分支覆盖。
条件覆盖：测试用例能使被测程序中的每个判断的每个条件至少取得一次“真”和一次“假”。
判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。
条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。
路径覆盖：测试用例能覆盖程序中所有可能的路径