目标程序
较上次增加两个相同的输入框
使用方法介绍
- 因果图法
在Introduction to Software Testing by Paul一书中,将软件测试的覆盖标准划分为四类,logical expressions,syntactic descriptions,graphs,input domain characterizations,就我所学的内容来看,等价类划分属于input domain characterizations,控制流与数据流测试属于graphs,而因果图法属于logical expressions。它从用自然语言书写的程序规格说明的描述中找出因(输入条件)和果(输出或程序状态的改变),可以通过因果图转换为判定表。
- 步骤
- 列出因和果
- 画出因果图
- 根据因果图画出判定表
- 如变量太多,可先将判定表进行简化,之后设计测试用例
原因与结果
原因编号 |
内容 | |
---|---|---|
C1 |
第一个输入框未输入 |
|
C2 |
第二个输入框未输入 |
|
C3 |
第三个输入框未输入 |
|
B1 |
第一个输入框输入错误 |
|
B2 |
第二个输入框输入错误 |
|
B3 |
第三个输入框输入错误 |
|
结果编号 |
输出动作 |
需求 |
Ef1 |
第一个输入框后显示错误信息 |
C1 或 B1 |
Ef2 |
第二个输入框后显示错误信息 |
C2 或 B2 |
Ef3 |
第三个输入框后显示错误信息 |
C3 或 B3 |
Ef4 |
显示“success” |
三个输入框均正确输入 |
因果图
判定表
|
编号 |
|
|
|
|
|
原因 |
C1 |
0 |
0 |
1 |
1 |
0 |
C2 |
0 |
0 |
0 |
1 |
0 |
|
C3 |
0 |
0 |
0 |
1 |
0 |
|
B1 |
0 |
0 |
0 |
0 |
1 |
|
B2 |
0 |
0 |
0 |
0 |
1 |
|
B3 |
0 |
1 |
0 |
0 |
1 |
|
中间结果 |
M1 |
0 |
0 |
1 |
1 |
1 |
M2 |
0 |
0 |
0 |
1 |
1 |
|
M3 |
0 |
1 |
0 |
1 |
1 |
|
M4 |
0 |
1 |
1 |
1 |
1 |
|
结果 |
Ef1 |
0 |
0 |
1 |
1 |
1 |
Ef2 |
0 |
0 |
0 |
1 |
1 |
|
Ef3 |
0 |
1 |
0 |
1 |
1 |
|
Ef4 |
1 |
0 |
0 |
0 |
0 |
程序代码
程序代码