软件测试用例经典方法 ｜ 因果图法及案例

1.定义

因果图（Cuase-effect Graph）是一种描述输入条件的组合以及每种组合对应的输出的图形化工具。在因果图的基础上可以设计测试用例。

因果图法设计测试用例的步骤（How）

• 分析程序的规格说明书中哪些是原因，哪些是结果。所谓原因，是指输入条件或输入条件的等价类，而结果是指输出条件。给每一个原因和结果赋一个标识符。
• 分析程序规格说明书中的语义，确定原因与原因，原因与结果之间的关系，画出因果图。
• 由于语法环境的限制，一些原因与原因之间，原因与结果之间的组合不能出现。对于这些特殊情况，在因果图中用一些记号标明约束或限制条件。
• 将因果图转化为判定表。
• 根据判定表的每一列设计测试用例。

当然，若能直接得到判定表，可以直接根据判定表设计测试用例。

实战

有一个单价为五角钱的饮料自动售货机软件，对其采用因果图方法设计测试用例。需求如下：

• 若售货机没有零钱找，则一个显示 “零钱找完”的红灯亮，以提示顾客在此情况下不要投入1元钱，否则此红灯不亮。
• 顾客投入5角硬币，然后按下“橙汁”或“啤酒”按钮，则相应的饮料被送出。
• 顾客投入1元硬币并按下“橙汁”或“啤酒”按钮后，若售货机没有零钱找，则显示“零钱找完”的红灯亮，1元硬币被退出，且无饮料送出；若有零钱找，则五角硬币被退出且饮料被送出。

这个例子中，事实上在分析问题时进行了一些简化，主要有以下几点：

• 判定表中8,12,24,28列不符合常理(投币却没选饮料)，但却是可能发生的。可以考虑对需求做一下完善：若投币N秒后仍没有选择饮料，售货机上“请选择饮料”灯亮。进而根据需求规格说明改进因果图和判定表。
• 判定表中14,15,30,31列表示只选择饮料却没投币。可以对需求做以下完善：只选择饮料却没有投币时，自动售货机上“请投币”的灯亮。进而根据需求规格说明改进因果图和判定表。
• 26、27表示在自动售货机没零钱找的情况下投入五角钱，此时自动售货机进入有零钱找状态，由于需求说明没有考虑这一特殊状态，故判定表中第26、27列的21号结果没有从1变成0实际上是不正确的。在需求规格说明书中应对此种情况加以考虑，进而改进因果图和判定表。
• 6、7列对应的是自动售货机在有零钱的情况下找了5角钱，此刻自动售货机有可能进入无零钱找的状态，由于需求说明没有考虑这一特殊状态，故判定表中第6、7列的21号结果没有从1变成0实际上是不一定正确的。在需求规格说明书中应对此种情况加以考虑，进而改进因果图和判定表。