软件测试第八周随笔，本周软件测试的课程已全部结束，随笔重点回顾下因果图。
（一）概念：
因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况。因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。因果图法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。采用因果图法能帮助我们按照一定的步骤选择一组高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。
因果图法着重分析输入条件的各种组合，每种组合条件就是“因”，它必然有一个输出的结果，这就是“果”。
（二）一些常用的固定符号：
C：表示原因（cause）； Ef：代表结果（effect）； 相等：
； 非：
；
与： 
； 或：
；
E: 排他（exclusive）； I：at least（inclusive）； R：require ；
O：only one ； M：强制标记（marking）；
（三）实例分析：
例：产品说明书：有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。
以下给出用因果图法设计这个实例的测试用例的具体步骤：
（1）确定软件需求中的原因和结果：
原因：1.投入1元5角硬币（C1）； 2.投入2元硬币（C2）； 3.按“可乐”按钮（C3）；
4.按“雪碧”按钮（C4）； 5.按“红茶”按钮（C5）；
中间状态; 1.投币完成； 2.按钮完成；
结果： 1.退还5角硬币（Ef1）； 2.送出“可乐”（Ef2）； 3.送出“雪碧”（Ef3）； 4.送出“红茶”（Ef4）；
（2）确定原因与结果间的关系：
•退5角：Ef1=C2∧(C3∨C4∨C5) ∧E (C3,C4,C5) ∧E(C1,C2)
•可乐： Ef2=C3 ∧(C1∨C2) ∧E (C3,C4,C5) ∧E(C1,C2)
•雪碧： Ef3=C4 ∧(C1∨C2) ∧E (C3,C4,C5) ∧E(C1,C2)
•红茶： Ef4=C5 ∧(C1∨C2) ∧E (C3,C4,C5) ∧E(C1,C2)
（3）画出因果图：
（4）测试用例设计
：
C1,C2同时成立的测试用例是无法实现的。但是如果编程人员，把C1,C2用两个变量编程，则有可能C1,C2同时成立。
由于测试人员无法测试到，这就要靠白盒测试来完成。