实验三 白盒测试路径分析方法(1)

1、 实验目的

(1) 能够依据程序画出程序流程图； (2) 能够理解常用覆盖方法的内涵； (3) 能够理解常用覆盖方法的强弱关系； (4) 能够使用常用覆盖方法设计测试用例。 2、实验预习

在白盒测试方法中，有选择地执行程序中某些最有代表性的通路是对穷举测试的唯一可行替代方法。这些测试方法主要包括语句覆盖、判断覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖的情况。 2、实验内容及要求

任务1要求测试的程序片段如下： int testing(int x, int y) {

int software = 0;

if ((x > 0) && (y > 0)) {

software = x + y + 10; } else {

software = x + y - 10; }

if (software< 0) {

software = 0; }

return software; }

任务2要求测试的程序片段如下： int Test(int i_count, int i_flag) {

int t_temp = 1; while(i_count > 0) {

if (0 == i_flag)

{

i_temp = i_count + 100; break;

} else {

if (1 == i_flag)

{

i_temp = i_temp * 10; } else

{

i_temp = i_temp * 20;

} }

i_count--; }

return i_temp;

}

要求绘制出所有这些程序的程序流程图，并给出6种逻辑覆盖要求下的测试用例，设计测试程序，给出测试结果。 4、实验总结

(1) 请详述这6种逻辑覆盖的要求是什么； (2) 请比较这6中逻辑覆盖的强弱关系； (3) 请结合实验谈一下循环测试的简化过程。

输入x,y x>0 and y>0? software = x + y - 10 software = x + y + 10 software<0? software = 0 输出software

语句覆盖 输入 x=1,y=1 X=-1,y=1 判断覆盖 输入 x=1,y=1 预期输出 software = 12 software = 0 预期输出 software = 12 实际结果 12 0 实际结果 12 X=-1,y=1 条件覆盖 输入 x=1,y=1 x=-1,y=-1 x=-1,y=20 判定/条件覆盖 输入 x=1,y=1 X=-1,y=1 x=-1,y=20 x=1,y=-1 条件组合覆盖 输入 x=1,y=1 X=-1,y=1 x=-1,y=-1 x=1,y=-1 x=-1,y=20 x=20,y=-1

software = 0 0 预期输出 software = 12 software = 0 software = 9 实际结果 12 0 9 预期输出 software = 12 software = 0 software = 9 software = 0 实际结果 12 0 9 0 预期输出 software = 12 software = 0 software = 0 software = 0 software = 9 software = 9 实际结果 12 0 0 0 9 9

路径覆盖 输入 x=1,y=1 预期输出 software = 12 实际结果 12 0 9 X=-1,y=1 x=-1,y=20

software = 9 software = 0