白盒测试实验报告-范例.doc

-
. z.
实验报告书
实验一 白盒测试
学生* 0;
}
语句覆盖是指选择足够的测试，使得程序中每个语句至少执行一次。如选择测试*=1,y=1和*=1,y=-1可覆盖所有语句。
判定覆盖是指选择足够的测试，使得程序中每一个判定至少获得一次"真〞值和"假〞值，从而使得程序的每个分支都通过一次〔不是所有的逻辑路径〕。选择测试*=1,y=1和*=1,y=-1可覆盖所有判定。
条件覆盖是指选择语句多数的测试，使得程序判定中的每个条件能获得各种不同的结果。选择测试*=1,y=1和*=-1,y=-1可覆盖所有条件。
判定/条件覆盖是指选择足够多的测试，使得程序判定中每个条件取得条件可能的值，并使每个判定取到各种可能的结果〔每个分支都通过一次〕。即满足条件覆盖，又满足判定覆盖。选择测试*=1,y=1和*=-1,y=-1可覆盖所有判定/条件。
条件组合覆盖是指选择足够的测试，使得每个判定中的条件的各种可能组合都至少出现一次〔以判定为单位 找条件组合〕。
注：a，条件组合只针对同一个判断语句存在多个条件的情况，让这些条件的取值进展笛卡尔乘积组合。
b，不同的判断语句内的条件取值之间无需组合。
c，对于但条件的判断语句，只需要满足自己的所有取值即可。
选择测试用例*=1,y=1；*=1,y=-1，*=-1,y=1和*=-1,y=-1可覆盖所有条件组合。
路径覆盖是分析软件过程流的通用工具，有助别离逻辑路径，进展逻辑覆盖的测试，所用的流程图就是讨论软件构造复杂度时所用的流程图。
三 实验方法
-
. z.
语句覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
*=1,y=1
12
T
F
abef
*=1,y=-1
0
F
T
acdf
判定覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
*=1,y=1
12
T
F
abef
*=1,y=-1
0
F
T
acdf
条件覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
*=1,y=1
12
T
F
abef
*=-1,y=-1
0
T
T
acdf
判定/条件覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
*=1,y=1
12
T
F
abef
*=-1,y=-1
0
T
T
acdf
条件组合覆盖
测试用例输入
输出magic
判定M的取值
判定N的取值
覆盖路径
*=1,y=1
12
T
F
abef
*=1,y=-1
0
T
T
acdf
*=-1,y=1
0
T
T
acdf
*=-1,y=-1
0
T
T
acdf