4.完成软件白盒测试技术中的逻辑覆盖测试应用设计实验。

(理论考试重点内容实践)
三角形白盒测试要求要求：
1）自备C语言程序（可从C语言程序设计的教科书上摘录若干典型程序,其他C++、C#、Java程序均可）；
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
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）对以上实验结果进行适当地分析与总结。

本次实验主要是运用白盒测试的方法，设计测试用例。

白盒测试主要包括语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。

白盒测试试图穷举路径测试，一般来说，穷举路径测试是不可能的，即使每条路径都测试了，也还是有可能出错。

通过本次实验，还了解了各种覆盖的区别与联系。