【软件测试】黑盒测试用例设计——因果图

       因果图法是一种根据输入条件的组合、约束关系和输出条件的因果关系设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况，一般和判定表结合使用。因果图使用图示的方法清晰地表述了原因和结果之间的逻辑关系，以及原因之间的约束关系。

【案例】：使用因果图法分析中国象棋中走马的实际情况，马走日子形，遇到对方棋子可以吃掉，遇到本方棋子不能落到该位置。
【案例分析】：象棋走马规则：

1. 如果落点在棋盘外，则不移动棋子
2. 如果落点与起点不构成日字形，则不移动棋子；
3. 如果落点处有己方棋子，则不移动棋子；
4. 如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；
5. 如果不属于1-4条，且落点处无棋子，则移动棋子；
6. 如果不属于1-4条，且落点处为对方棋子，则移动棋子并除去对方棋子。

【案例实现】

• 分析走马规则，列出原因和结果
  原因：

• 落点与起点构成日字 c1

• 落点方向的邻近交叉点无棋子 c2

• 落点在棋盘上 c3

• 落点处无棋子 c4

• 落点处为对方棋子 c5

• 落点处为己方棋子 c6

结果：
1.移动棋子； e1
2.移动棋子，并除去对方棋子 e2
3.不移动棋子。 e3

• 分析原因和结果的对应关系，并画出因果图。增加中间节点10，表示可移动棋子必须具备的基本条件。增加约束条件。