因果图法测试中国象棋马

1. 因果图法导出测试用例步骤：

1. 分析程序规格说明的描述中，哪些是原因，哪些是结果。原因常常是输入条件或是输入条件的等价类，而结果是输出条件。
2. 分析程序规格说明的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”。
3. 标明约束条件。由于语法或环境的限制，有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况，在因果图上使用若干个标准的符号标明约束条件。
4. 把因果图转换成判定表。
5. 为判定表中每一列表示的情况设计测试用例。

2. 因果图的基本表述：

1. 恒等：若原因出现，则结果出现；若原因不出现，则结果也不出现。
2. 非（~）：若原因出现，则结果不出现；若原因不出现，则结果出现。
3. 或（V）：若几个原因中有1个出现，则结果出现；若几个原因都不出现，则结果不出现。
4. 与（A）：若几个原因都出现，结果才出现。若其中有1个原因不出现，则结果不出现。
5. 

3. 因果图的约束符号

• E（互斥）：表示a、b两个原因不会同时成立，两个中最多有一个可能成立。
• I（包含）：表示a、b、c这3个原因中至少有一个必须成立。
• o（惟一）：表示a和b当中必须有一个，且仅有一个成立。
• R（要求）：表示当a出现时，b必须也出现。a出现时不可能b不出现。
• M（屏蔽）：表示当a是1时，b必须是0。而当a为0时，b的值不定。
  

4. 例子

问题描述：有一个处理单价为1元5角的饮料自动售货机软件，若投入1元5角硬币，按下“可乐”“雪碧”“红茶”按钮，相应的饮料就送出来。若投入的是两元硬币，在送出饮料的同时退还5角硬币。

1. 对问题进行拆分：

2. 形成因果图

3. 产生决策表-转换决策表

4.生成测试用例

5.实验

以中国象棋中马的走法为例子，具体说明：

1. 如果落点在棋盘外，则不移动棋子；
2. 如果落点与起点不构成日字型，则不移动棋子；
3. 如果落点处有自己方棋子，则不移动棋子；
4. 如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；
5. 如果不属于1-4条，且落点处无棋子，则移动棋子；
6. 如果不属于1-4条，且落点处为对方棋子（非老将），则移动棋子并除去对方棋子；
7. 如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。

1.问题拆分

2.形成因果图

3.转换决策表


4.测试用例

总结：

可能有些地方会有点错误。欢迎大家批评指正！重要的是自己去思考，测试，而不是生搬硬套。Good Luck！