淮海工学院计算机工程学院
实验报告书
课程名： 软件工程A
题 目： 软件测试 班 级： Z软件 161 学 号： 2018140539 姓 名： 陈真杰
评语： 成绩： 指导教师： 批阅时间： 2019 年 月 日
《 软件工程A 》实验报告 - 1 -
一、目的与要求
1. 理解黑盒测试的含义以及基本的测试方法。 2. 采用等价类划分法设计测试用例。
3. 掌握用等价类划分法设计测试用例的方法。 4. 掌握用边界值分析法设计测试用例的方法。 5. 理解白盒测试的含义以及基本的测试方法。
6. 掌握逻辑覆盖的语句覆盖、判定覆盖、条件覆盖等方法。 7. 采用语句覆盖、判定覆盖、条件覆盖设计测试用例。
二、实验内容
试画出：输入三条边，判断三条边组成的图形是一般三角形、等腰三角形、直角三角形、等边三角形，亦或不能构成三角形的流程图，给出详细设计结果与C语言代码，对其使用白盒和黑盒测试技术分别设计测试用例（包括所有白盒测试的覆盖、黑盒测试的边界值分析与等价类划分）。然后，使用测试用例进行实际测试，并给出测试结果；
三、实验步骤与源程序
源程序判断三角形的流程图如图1所示
开始三边在1到100之内?YN输出输入超范围任意两边大于第三边?YN输出不够成三角形三边相等?NY输出等边三角形存在两边相等?NY输出等腰三角形两边的平方和等于第三边平方?NY输出直角三角形输出一般三角形结束
源程序设计代码如下所示： #include
void test(double x,double y,double z){
if(x>0 && x<101 && y>0 && y<101 && z>0 && z<101){ if(x+y>z && x+z>y && y+z>x) { if(x==y && y==z){ printf(\等边三角形\\n************\\n\ } else if(x==y || x==z || y==z){ printf(\等腰三角形\\n************\\n\ }else if(pow(x,2)==pow(y,2)+pow(z,2) || pow(z,2)==pow(x,2)+pow(y,2) ||
《 软件工程A 》实验报告 - 2 -
pow(y,2)==pow(z,2)+pow(x,2)){ printf(\直角三角形\\n************\\n\ }else{ printf(\一般三角形\\n************\\n\ } }else{ printf(\不构成三角形\\n************\\n\ } } else{ printf(\输入超范围\\n************\\n\ } }
int main(){
double side1,side2,side3;
while(side1!=1000||side2!=1000||side3!=1000){ printf(\请输入三角形的三边a,b,c的值：\ scanf(\ test(side1,side2,side3); }
return 0; }
1. 等价类划分
输入3条边a、b、c必须满足以下条件: 条件1 1≤a≤100 条件4 a 如果输入值a、b、c满足条件1、条件2和条件3,则输出下列4种情况之一: (1) 如果不同时满足条件4、条件5和条件6.则程序输出为“不构成三角形”。 (2) 如果3条边相等，则程序输出为“等边三角形”。 (3) 如果恰好有两条边相等则程序输出为“等腰三角形”。 (4) 如果3条边都不相等则程序输出为“一般三角形”。 2. 边界值分析 输入三条边用最小值、略高于最小值、正常值、略低于最大值、最大值、略超过最大值和略小于最小值的值。 3. 语句覆盖 设计若干测试用例,运行被测程序,使程序中每个可执行语句至少执行一次。 4. 判定覆盖 设计若干测试用例,运行被测程序,使得程序中每个判断的取真分支和取假分支至少经历一次,即判断真假值均能被满足。 5. 条件覆盖 设计若干测试用例,运行被测程序,使每个判断中每个条件的可能取值至少满足一次。 四、测试数据与实验结果 1. 等价类划分 等价类划分如表1所示。
软件工程——实验3
