《软件测试综合实训》报告填写内容
(一)黑盒测试实训一
1、实训目的
理解黑盒测试的基本方法，掌握等价类划分法、边界值方法。
2、实验内容、步骤及结果
实验内容：程序有三个输入变量month、day、year（month、day和year均为
整数值，并且满足：1≤month≤12、1≤day≤31、1900≤ year ≤2050。），分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上下一天的日期。例如，输入为2005年11月29日，则该程序的输出为2005年11月30日。
a.大家用自己熟悉的编程语言，实现上面问题的描述。
b.用等价类设计法和边界值法设计测试用例并执行，将测试结果与预期结果进行比对并查找、修复bug。
实验步骤：步骤一：编写源程序并运行该程序。
步骤二：编写测试用例设计。
步骤三：执行测试。
步骤四：将测试结果与预期结果进行比对并查找、修复bug。
实验结果：
条件划分：
等价类测试法：
2010/01/02 T1,T2,T3,T
6
2001/03/01 T4
2001-03-01 T5
T8
T7
T9
T10
T11
T12
T13
T14
T15
多变量边界测试法：对于n个变量的程序采用五点法产生4n+1个测试用例，本实验
3、结果分析与问题讨论
通过本次实验，我对黑盒测试用例有了进一步的了解。实验要求使用等价类划分法、边界值法的设计测试用例。在分析边界值设计时测试有点混，因为针对于本实验可以采用多变量边界值分析（通常采用“五点法”）或者健壮性边界值分析（通常采用“七点法”），本题有是有三个变量的程序，采用五点法将产生4n+1=4*3+1=13个测试用例，对于多变量健壮性边界值分析，需要设计6n+1=6*3+1=19个测试用例。在本次实验我采用的方法是五点法，测试用例比较多，需要认真分析。
(二)黑盒测试实训二
1、实训目的
理解黑盒测试的基本方法，掌握因果图法和决策表法设计测试用例。
2、实验内容、步骤及结果
1) 某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。
要求：
a.根据问题描述画出因果图。
b.画出决策表并设计测试用例。
实验结果：
1）根据题意，
条件桩：问题的所有条件：
c1：第一列为A c2:第一列为B c3:第二列为数字
条件项：对条件桩给出的条件列出所有可能的取值
c1: 1-第一列为A，0-第一列不为A
c2: 1-第一列为B，0-第一列不为B
c3: 1-第二列为数字，0-第一列不为数字
动作桩：出现问题时按规定可能采取的操作
结果：e1:修改文件 e2:给出信息L e3:给出信息M
2）其对应的因果图如下：
C为中间节点，考虑到原因c1和c2不可能同时为1，因此在因果图上加上E（异或）约束。
2) 支付宝个人认证中，分为两部分：个人身份认证和银行卡认证。这两者都通
过后，认为个人认证成功。
个人身份认证需要提交个人基本信息及身份证复印件。银行卡认证分为两种：提现认证和充值认证。
要求：
a. 根据问题描述画出因果图。
b. 画出决策表并设计测试用例。
实验步骤：
步骤一：分析问题，列出原因和结果。
步骤二：画出因果图，将原因与结果用关系连接线连接。
步骤三：根据因果图生成决策表。
步骤四：根据决策表设计测试用例。
实验结果：
条件桩：问题的所有条件：
C1:个人基本信息
C2:身份证复印件
C3:提现认证
C4:充值认证
条件项：对条件桩给出的条件列出所有可能的取值
C1: 1—个人基本信息正确 0—个人基本信息不准确
C2: 1—身份证复印件有效 0—身份证复印件无效
C3: 1—提现认证成功0—提现认证失败
C4: 1—充值认证成功0—充值认证失败
动作桩：出现问题时按规定可能采取的操作
A1:个人身份认证成功。
A2:银行卡认证成功
A3:支付宝个人认证成功
动作项：指出在条件项的各组取值情况下采取的动作
H1: √--个人身份认证成功
H2: √--银行可认证成功
H3: √--支付宝个人认证成功因果图：
根据因果图推导出决策表
3.结果分析与问题讨论
通过本次黑盒测试实训，从结果上看，因果图只是清晰地表达了需求分析的内容，为了得到测试用例，我们需要借助于决策表，因果图中的“因”和“果”直接可以作为条件桩和动作桩。在画因果图的时候，要注意分析有些条件是不可以同时存在。
(三)白盒测试实训一
1.实训目的
a.掌握路径测试、数据流测试的基本方法。
b.运用路径测试、数据流测试的方法设计测试用例。
2.实验内容、步骤及结果
1) 阅读下面代码。
0 void DoWork (int x,int y,int z){
1 int k=0, j=0;
2 if((x>3)&&(z<10))
3 {
4 k=x*y-1;
5 j=sqrt(k);
6 }
7 if((x==4)||(y>5))
8 j=x*y+10;
9 }
要求：
①使用路径测试的方法
a. 画出控制流图。
b. 计算环形复杂度并列出基本路径。
c. 根据基本路径设计测试用例并执行测试。
②使用数据流测试法
a. 根据已画出的控制流图分析代码中所有变量的定义使用（区分谓词使用和计算使用）节点、定义使用对、定义使用路径（注明是否为定义清除路径）。
b. 根据全定义-使用路径覆盖准则（测试路径需要覆盖所有定义点到所有使用点的路径）找出测试路径并设计测试用例并执行测试。
实验步骤：
步骤一：根据代码画出相关图形。
步骤二：根据不同测试方法设计测试用例。
步骤三：运行代码执行测试用例
实验结果：
控制流图
环形复杂度分为两个圈计算，圈1和圈2分别如下：
圈1：V(G)=6-5+2=3
圈2：V(G)=5-4+2=3
总独立路径为：圈1复杂度*圈2复杂度=9条（取8条即可,分别为：
路径1：2(x>3?)→7(x==4?)→7(y>5?)→9
路径2：2(x>3?)→7(x==4?)→7(y>5?)→8→9
路径3：2(x>3?)→2(z<10)→7(x==4?)→7(y>5?)→9
路径4：2(x>3?)→2(z<10)→7(x==4?)→7(y>5?)→8→9
路径5：2(x>3?)→2(z<10)→4→5→7(y==4?)→7(y>5?)→9
路径6：2(x>3?)→2(z<10)→4→5→7(x==4?)→7(y>5?)→8→9
路径7：2(x>3?)→2(z<10)→7(x==4?)→8→9
路径8：2(x>3?)→2(z<10)→4→5→7(x==4?)→8→9
根据基本路径设计测试用例并执行测试。
测试结果测试路径
路径
k=0,j=22 路径
路径
k=29,j=40 路径
k=19,j=4 路径
k=35,j=46 路径
k=0,j=10 路径
k=-1,j=10 路径
②使用数据流测试法
的路径）找出测试路径并设计测试用例并执行测试。
测试路径1：0-1-2-4-5-7-8-9
测试路径2：0-1-2-7-9
测试路径3：0-1-2-7-8-9
3.结果分析与问题讨论
要正确分析判断程序的走向，然后画出控制流图。根据控制流图计算环形（圈）复杂度，
主要运用两种方法计算环形复杂度：（1）V(G)=E-N+2（2）V(G)=P+1,正确计算出环形复杂度，并确定独立路径，用测试用例来测试路径。复杂度是独立路径数的上界，独立路径可以小于复杂度。先计算预期结果，再用代码验证预期结果与测试结果是否一致。
(四)白盒测试实训二
1.实训目的
a. 掌握逻辑覆盖的基本方法。
b. 运用逻辑覆盖的方法设计测试用例。
2.实验内容、步骤及结果
1) 阅读下面源码。
#include
using namespace std;
int main()
{
int b;
int c;
int a;
cin >> a >> b >> c;
if (a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b))
{
if (a == b&&b == c)
{
cout << "您输入的是等边三角形！";
}
else if((a==b||b==c)||a==c)
{
cout << "您输入的是等腰三角形！";
}
else if ((a*a + b*b == c*c) || (b*b + c*c == a*a) || (a*a + c*c == b*b)) {
cout << "您输入的是直角三角形！";
}
else {
cout << "普通三角形";
}
}
else{
cout << "您输入的不能构成三角形";
}
}
要求：
a. 画出程序流程图。
b. 分析判断语句与条件表达式。
c. 分别使用逻辑覆盖的5种覆盖标准设计测试用例并执行测试。
实验步骤：
步骤一：根据代码画出相关图形。
步骤二：根据5种覆盖标准计测试用例。
步骤三：运行代码执行测试用例
实验结果：
a. 画出程序流程图。
b.分析判断语句与条件表达式。
（1）a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b)这四个条件必须同时满足才能构成三角形，若不满足其中任意一项都不可能构成三角形。
（2）a == b&&b == c在a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b)成立的情况下，满足a == b&&b == c这两个条件，输出的三角形是等边三角形，若不满足其中任意一项，则不能输出等边三角形
（3）(a==b||b==c)||a==c，在a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b)成立
的情况下，且a == b&&b == c不成立，满足(a==b||b==c)||a==c这三个条件，输出等腰三角形，则不能输出等腰三角形
（4）(a*a + b*b == c*c) || (b*b + c*c == a*a) || (a*a + c*c == b*b)，在a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b)成立的情况下，且 a == b&&b == c不成立，(a==b||b==c)||a==c也不成立，满足(a*a + b*b == c*c) || (b*b + c*c == a*a) || (a*a + c*c == b*b)这个条件输出直角三角形，否则输出普通三角形。
c.分别使用逻辑覆盖的5种覆盖标准设计测试用例并执行测试。在a*b*c != 0 && (a + b > c&&b + c > a&&a + c > b)成立的情况下
1.语句覆盖：选择足够多的测试数据，使得程序中的每一个可执行语句至少执行一次
2.判定（分支）覆盖：使得程序中的每一个判断至少获得一次“真”和一次“假”
成
角
角
角
角
3.条件覆盖：使得程序中每个判定表达式中的每个条件至少获得一次“真”和一次“假”第一个判定表达式：
a*b*c!=0 取真值，记为T1
a*b*c!=0 取假值，即a*b*c= 0，记为~T1
a+b>c取真值，记为T2
a+b>c取假值，即a+b≤c，记为~T2
b+c>a取真值，记为T3
b+c>a取假值，即b+c≤a，记为~T3
a+c>b取真值，记为T4
a+c>b取假值，即a+c≤b，记为~T4
第二个判定表达式：
a==b 取真值，记为T5
a==b 取假值，即a≠b,记为~T5
b==c取真值，记为T6
b==c取假值，即b≠c,记为~T6
第三个判定表达式：
a==b 取真值，记为T7
a==b 取假值，即a≠b,记为~T7
b==c取真值，记为T8
b==c取假值，即b≠c,记为~T8
a==c 取真值，记为T9
a==c取假值，即a≠c,记为~T9
第四个判定表达式：
a*a+b*b==c*c 取真值，记为T10
a*a+b*b==c*c 取假值，即a*a+b*b≠c*c，记为~T10 b*b+c*c==a*a取真值，记为T11
b*b+c*c==a*a取假值，即b*b+c*c≠a*a，记为~T11 a*a+c*c==b*b取真值，记为T12
a*a+c*c==b*b取假值，即a*a+c*c≠b*b记为~T12 条件覆盖的测试用例
测试结果：
4.判定/条件组合：
第一个判定表达式：
a*b*c!=0, a+b>c, b+c>a, a+c>b,记为T1,T2,T3,T4
a*b*c!=0, a+b≤c,b+c>a, a+c>b,记为T1, ~T2,T3,T4
a*b*c!=0, a+b>c, b+c≤a,a+c>b,记为T1,T2, ~T3,T4
a*b*c!=0, a+b>c, b+c>a, a+c≤b,记为T1,T2,T3, ~T4
a*b*c==0, a+b>c, b+c≤a,a+c>b,记为~T1,T2, ~T3,T4
a*b*c==0, a+b≤c,b+c>a ,a+c>b,记为~T1, ~T2,T3,T4
a*b*c==0, a+b>c, b+c>a, a+c≤b,记为~T1,T2,T3, ~T4
a*b*c==0, a+b≤c, b+c≤a, a+c>b,记为~T1, ~T2, ~T3,T4
a*b*c==0, a+b≤c, b+c>a, a+c≤b,记为~T1, ~T2, T3, ~T4
a*b*c==0, a+b>c, b+c≤a, a+c≤b,记为~T1,T2, ~T3, ~T4
a*b*c==0, a+b≤c, b+c≤a, a+c≤b,记为~T1, ~ T2, ~T3, ~T4
第二个判定表达式：
a==b,b==c,记为T5,T6
a==b,b≠c,记为T5, ~T6
a≠b,b==c,记为~T5,T6
a≠b, b≠c,记为~T5, ~T6
第三个判定表达式：(因为第三判定表达式包含了第二个判定表达式) a≠b, b≠c，a==c, 记为~T5, ~T6,T7
a≠b, b==c, a≠c, 记为~T5, T6, ~T7
a==b, b≠c, a≠c, 记为T5, ~T6, ~T7
a≠b, b≠c,a≠c, 记为~T5, ~T6, ~T7
a==b, b==c, a==c, 记为T5, T6,T7
第四个判定表达式：
a*a+b*b≠c*c,b*b+c*c≠a*a,a*a+c*c=b*b,记为~T8, ~T9,T10
a*a+b*b≠c*c,b*b+c*c=a*a,a*a+c*c≠b*b,记为~T8,T9, ~T10
a*a+b*b=c*c,b*b+c*c≠a*a,a*a+c*c≠b*b,记为T8, ~T9, ~T10
a*a+b*b≠c*c, b*b+c*c≠a*a,a*a+c*c≠b*b,记为~T8, ~T9, ~T10
判定/条件组合测试用例
T13 0,2,0 ab ~T1,T2,T3, ~T4,~T5, ~T6,T7, ~T8,~T9, ~T10
5.条件组合覆盖：
（1）a*b*c!=0,a+b>c,b+c>a，a+c>b属第一个判断地真分支
（2）a*b*c!=0,a+b≤c,b+c>a，a+c>b属第一个判断地假分支
（3）a*b*c!=0,a+b>c,b+c≤a，a+c>b属第一个判断地假分支
（4）a*b*c!=0,a+b>c,b+c>a，a+c≤b属第一个判断地假分支
（5）a*b*c==0,a+b>c,b+c≤a，a+c>b属第一个判断地假分支
（6）a*b*c==0,a+b≤c,b+c>a，a+c>b属第一个判断地假分支
（7）a*b*c==0,a+b>c,b+c>a，a+c≤b属第一个判断地假分支
（8）a*b*c==0,a+b≤c,b+c≤a，a+c>b属第一个判断地假分支
（9）a*b*c==0,a+b≤c,b+c>a，a+c≤b属第一个判断地假分支
（10） a*b*c==0,a+b>c,b+c≤a，a+c≤b属第一个判断地假分支
（11） a*b*c==0,a+b≤c,b+c≤a，a+c≤b属第一个判断地假分支
（12） a≠b, b≠c，a==c属第三个判断地真分支
（13） a≠b, b==c, a≠c属第三个判断地真分支
（14） a==b, b≠c, a≠c属第三个判断地真分支
（15） a≠b, b≠c,a≠c属第三个判断地假分支
（16） a==b，b==c，a==c属第三个判断地假分支
（17） a*a+b*b≠c*c, b*b+c*c≠a*a,a*a+c*c≠b*b属第四个判断地假分支（18） a*a+b*b=c*c,b*b+c*c≠a*a,a*a+c*c≠b*b属第四个判断地真分支（19） a*a+b*b≠c*c,b*b+c*c=a*a,a*a+c*c≠b*b属第四个判断地真分支（20） a*a+b*b≠c*c,b*b+c*c≠a*a,a*a+c*c=b*b属第四个判断地真分支
条件组合覆盖测试用例
测试结果
3.结果分析与问题讨论
本次实训主要是针对白盒的逻辑覆盖进行分析测试，逻辑覆盖是通过对程序逻辑结构的遍历实现对程序的覆盖，本次实训的题目需要分析各个判断或各个条件的数目较多，容易混在一起，注意区分5种覆盖准则。在分析条件组合时要注意else if((a==b||b==c)||a==c)已经包含了if (a == b&&b == c)。有些条件组合不符合逻辑是不可能成立的，需要删掉。