因果图法测试中国象棋马

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.转换决策表
决策表
决策表-2
4.测试用例
测试用例

总结:

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

  • 27
    点赞
  • 138
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值