因果图法测试中国象棋马

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

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

2. 因果图的基本表述：

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

4. 例子

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

1. 对问题进行拆分：

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


5.实验

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

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

1.问题拆分




总结：

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

声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！