软件测试-判断三角形形状路径白盒测试

4.完成软件白盒测试技术中的逻辑覆盖测试应用设计实验。(理论考试重点内容实践)

三角形白盒测试要求要求：

1）自备C语言程序（可从C语言程序设计的教科书上摘录若干典型程序,其他C++、C#、Java程序均可）；

#include

#include

#include

int main()

{

int a,b,c;

printf("输入三角形的三个边:");

scanf("%d %d %d",&a,&b,&c);

if(a<=0||b<=0||c<=0)

printf("不符合条件，请重新输入a,b,c\n");

else if(a+b<=c||abs(a-b)>=c)

printf("不是三角形\n");

else if(a==b&&a==c&&b==c)

printf("这个图为等边三角形\n");

else if(a==b||a==c||b==c)

printf("这个图为等腰三角形\n");

else

printf("这个图为一般三角形\n");

}

2）根据该程序绘制对应的程序流程图；

3）分别根据程序流程图给出符合语句覆盖、判定覆盖、条件覆盖、路径覆盖以及判定/条件覆盖和条件组合覆盖的的测试用例以及预期的运行结果；

条件覆盖

判定1：1-1(a<=0) 1-2(b<=0) 1-3(c<=0)

判定2：2-1(a+b<=c) 2-2(|a-b|>=c)

判定3：3-1(a==b)

判定4：4-1(a==c)

判定5：5-1(a==c)

4）根据程序流程图画出流图，并确定线性独立路径的基本集合，然后给出符合各集合的测试用例；

路径1：1-2-3

路径2：1-2-4-5-7-9-12-13

路径3：1-2-4-5-7-9-10-13

路径4：1-2-4-5-7-10-13

路径5：1-2-4-5-8-10-13

路径6：1-2-4-5-8-11-13

路径7：1-2-4-6-13

5）根据上述测试用例执行程序,对比实际运行结果和预期运行结果,结果比对最

6）对以上实验结果进行适当地分析与总结。

本次实验主要是运用白盒测试的方法，设计测试用例。白盒测试主要包括语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。白盒测试试图穷举路径测试，一般来说，穷举路径测试是不可能的，即使每条路径都测试了，也还是有可能出错。通过本次实验，还了解了各种覆盖的区别与联系。