白盒测试——静态测试/逻辑覆盖/基本路径测试

一、实验目的

1. 能够掌握白盒测试的静态测试、逻辑覆盖（语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖）、基本路径测试原理
2. 能够运静态白盒测试、逻辑覆盖（语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖）、基本路径测试写测试用例

二、实验任务

1. 使用静态白盒测试进行代码的审视，找出代码中存在的潜在问题
2. 使用逻辑覆盖的六种方法，根据相应代码进行分析，编写测试用例
3. 使用基本路径测试方法，根据相应代码进行分析，编写测试用例

三、实验内容与要求

1. 使用静态白盒测试对下图中的代码进行审视，要求：找出所有的错误及错误的原因

2. 使用逻辑覆盖的六种方法（语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖、路径覆盖），对下图中的代码进行分析并编写测试用例

要求：

①要写明分析的过程

②要画出流程图

3.使用基本路径测试方法，对下图中的代码进行分析并编写测试用例

四、静态白盒测试所发现的问题

1.输出的位数与数组的大小不吻合（超出） 

2.数值计算时溢出，num三次方后数字过大

3.变量不应为空

4.除数不应为零

5.数组应从零开始遍历 

6. 求值次序混乱，无论如何都会输出flag，不会输出num的值

五、语句覆盖法设计

图（太丑，略）

设计一个测试用例就可以覆盖程序中所有可执行语句

测试用例a=2,b=1,c=-1,d=2

执行路径为abdf

六、判定覆盖法设计

判断覆盖，要设计两个测试用例。

测试用例1：a=2,b=1,c=-1,d=2  执行路径为abdf

测试用例2：a=0,b=0,c=1,d=1   执行路径为aceg

七、条件覆盖法设计

a>0真值为T1假值为-T1；

b>0真值为T2假值为-T2；

a>1真值为T3假值为-T3；