公交一卡通自动充值软件系统（软件测试作业 因果法分析）

前置知识：

一、因果法应用场合
在一个界面中，有多个控件，测试时要考虑控件组合关系，不同的控件组合会产生不同的输出结果的组合，最终是为了弄清什么样的输入组合会产生什么样的输出组合，使用因果图

二、因果图的核心

“因”是原因，输入条件

“果”是结果，输出结果
使用图形的方式，分析软件输入和输出的对应关系

三、图形符号

1、基本图形：表示输入和输出的对应关系

（1）恒等
a是原因（输入），b是结果（输出）
含义：若a=1,则b=1 “1”是动作或状态，比如开关按下、复选框选中
若a=0，则b=0
（2）非（~）
a是原因，b是结果
含义：若a=1,则b=0
若a=0,则b=1
（3）或
a,b,c为输入（输入也可以有多个），d是输出
若a=1，或b=1，或c=1，则d=1
若a=b=c=0,则d=0
（4）与
a,b,c为输入，d是输出
若a=b=c=1,则d=1，否则为0
在实际应用中“恒等”、“与”应用较多
2、约束（限制条件）图形
要么单独限制输入，要么单独限制输出
下面的都是按照限制输入来讲的，也可以将其改为输出

（1）互斥【重点】
a，b，c不同时为1，即a，b，c中至多只有一个1                                                                      （2）包含（I）
a,b,c至少有一个1，即a，b ，c不能同时为0
举例：调查信息来源：广告（已选，不能修改）、电视、网络、报纸、朋友介绍、其他
这种就是包含
（3）唯一（O）【重点】
a，b，c必须有一个成立，且仅为一个成立。
说明：唯一的情况是有一个默认值；互斥没有默认值
（4）要求（R）
若a=1，则b必须为1。不可能出现a=1,b=0。
若a=0，不能确定b怎样。
表示当a出现时，b必须也出现；a不出现，b不确定                                                                       5）屏蔽（M）
若a=1，则b必须为0；当a=0时，b的值不确定

对这些知识有所了解后，我们就可以作答了：

1、找出所有的原因（输入），并编号：
（1）投币50元
（2）投币100元
（3）充值50元
（4）充值100元
2、找出所有的结果（输出），并编号：
A:充值成功并退卡
B:提示充值成功
C:找零
D:提示错误

3、在步骤1的基础上，根据题意找出输入的限制关系和组合关系：

（1）限制关系（哪些输入不能组合）

①输入（1）和（2）不能组合【互斥】

②输入（3）和（4）不能组合【互斥】

（2）能组合（决定测试用例数量）

①输入（1）和（3）组合

②输入（1）和（4）组合

③输入（2）和（3）组合

④输入（2）和（4）组合

⑤输入（1）单独

⑥输入（2）单独

⑦输入（3）单独

⑧输入（4）单独

4.在步骤2的基础上，找出哪些输出不能组合，哪些可以组合：
（1）限制关系
①输出A和D不能（互斥）
②输出B和D不能（互斥）
（2）组合关系
①输出A和B必须组合
②输出A、B、C组合
③输出C和D组合【用户不想充值了情况】
④输出D单独

5.根据前面步骤画出因果图：

6.编写判定表和测试用例：