因果图判定表综合练习2-下象棋.xls

一一 根根据据以以下下关关于于中中国国象象棋棋软软件件中中关关于于走走马马的的规规则则的的描描述述 分分析析其其因因果果图图 并并设设计计用用例例 1 如果落点在棋盘外 则不移动棋子 2 如果落点与起点不构成日字型 则不移动棋子 3 如果落点处有自己方棋子 则不移动棋子 4 如果在落点方向的邻近交叉点有棋子 绊马腿 则不移动棋子 5 如果不属于1 4条 且落点处 无棋子 则移动棋子 6 如果不属于1 4条 且落点处为对方棋子 非老将 则移动棋子并除去对方棋子 7如果不属于1 4条 且落点处为对方老将 则移动棋子 并提示战胜对方 游戏结束 二二 分分析析以以上上要要求求 得得出出原原因因和和结结果果 原因 1 落点方向的邻近交叉点无棋子 2 落点与起点构成日字 3 落点处有己方棋子 4 落点在棋盘外 5 落点处无棋子 6 落点处为对方棋子 非老将 7 落点处为对方棋子 老将 中间节点 11 允许移动 结果 21 不移动棋子 22 移动棋子 23 移动棋子 并除去对方棋子 24 移动棋子 并提示战胜对方 结束游戏 三三 因因果果图图如如下下 四四 根根据据因因果果图图画画出出判判定定表表 第一种解题思路 从3 4 5 6 7之间的唯一约束下手 只有遵守唯一关系时才是有效的 否则无论1 2取什么值都是错误的 3 3 4 4 5 5 6 6 7 7遵遵守守唯唯一一约约束束 12345678910111213 条件 11 11 11 11 11 11 11 11 11 11 10 00 00 0 1 24 23 2 22 11 5 4 3 6 21 落点方向的 邻近交叉点 无棋子 落点与起点 构成日字 落点处有自己 方棋子 落点在棋盘外 落点处无棋子 落点处为对方棋 子 非老将 不移动棋子 移动棋子 移动棋子 并 除去对方棋子 移动棋子 并提示战 胜对方 结束游戏 允许移动 7落点处为对方棋 子 老将 O 21 11 11 11 11 10 00 00 00 00 01 11 11 1 31 10 00 00 00 01 10 00 00 00 01 10 00 0 40 01 10 00 00 00 01 10 00 00 00 01 10 0 50 00 01 10 00 00 00 01 10 00 00 00 01 1 60 00 00 01 10 00 00 00 01 10 00 00 00 0 70 00 00 00 01 10 00 00 00 01 10 00 00 0 中间结果 11FALSEFALSETRUETRUETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 结果 21TRUETRUEFALSE FALSE FALSETRUETRUETRUETRUETRUETRUETRUETRUE 22FALSEFALSETRUEFALSE FALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 23FALSEFALSEFALSETRUEFALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 24FALSEFALSEFALSE FALSETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 考考虑虑到到只只要要是是在在棋棋盘盘外外 其其它它条条件件无无法法取取值值 结结果果就就是是不不能能移移动动 所所以以条条件件1 1可可以以单单独独考考虑虑成成为为一一个个用用例例 其其它它的的条条件件才才在在一一起起做做因因果果图图和和判判定定表表 即即1 1 6 6 1111 1616可可以以合合成成一一个个用用例例 就就是是在在落落点点是是棋棋盘盘外外的的情情况况下下 结结果果直直接接为为不不能能移移动动 不不需需要要跟跟其其它它条条件件放放在在一一起起判判断断 这这样样的的话话就就剩剩下下1717个个测测试试用用例例 12345678910111213 条件 1 1 11 11 11 11 11 11 11 10 00 00 00 0 2 1 11 11 11 10 00 00 00 01 11 11 11 1 31 10 00 00 00 00 00 00 00 00 00 00 00 0 4 1 10 00 00 01 10 00 00 01 10 00 00 0 5 0 01 10 00 00 01 10 00 00 01 10 00 0 6 0 00 01 10 00 00 01 10 00 00 01 10 0 7 0 00 00 01 10 00 00 01 10 00 00 01 1 中间结果 11FALSEFALSETRUETRUETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 结果 21TURETRUEFALSE FALSE FALSETRUETRUETRUETRUETRUETRUETRUETRUE 22FALSEFALSETRUEFALSE FALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 23FALSEFALSEFALSETRUEFALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 24FALSEFALSEFALSE FALSETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 如如果果落落点点不不构构成成日日字字 也也就就没没有有了了所所谓谓的的绊绊马马腿腿判判断断 所所以以当当条条件件2 2为为0 0时时 条条件件1 1不不必必取取值值 这这样样6 6 7 7 8 8 9 9和和1414 1515 1616 1717又又能能合合并并 12345678910111213 条件 1 1 11 11 11 1 0 00 00 00 0 2 1 11 11 11 10 00 00 00 01 11 11 11 1 31 10 00 00 00 00 00 00 00 00 00 00 00 0 4 1 10 00 00 01 10 00 00 01 10 00 00 0 5 0 01 10 00 00 01 10 00 00 01 10 00 0 6 0 00 01 10 00 00 01 10 00 00 01 10 0 7 0 00 00 01 10 00 00 01 10 00 00 01 1 中间结果 11FALSEFALSETRUETRUETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 结果 21TURETRUEFALSE FALSE FALSETRUETRUETRUETRUETRUETRUETRUETRUE 22FALSEFALSETRUEFALSE FALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 23FALSEFALSEFALSETRUEFALSEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 24FALSEFALSEFALSE FALSETRUEFALSEFALSEFALSE FALSE FALSE FALSE FALSEFALSE 条件 3 3 4 4 5 5 6 6 7 7违违反反唯唯一一约约束束 14151617181920123456789101112 0 00 00 00 00 00 00 0 1 如果落点在棋盘外 则不移动棋子 2 如果落点与起点不构成日字型 则不移动棋子 3 如果落点处有自己方棋子 则不移动棋子 4 如果在落点方向的邻近交叉点有棋子 绊马腿 则不移动棋子 5 如果不属于1 4条 且落点处 无棋子 则移动棋子 6 如果不属于1 4条 且落点处为对方棋子 非老将 则移动棋子并除去对方棋子 7如果不属于1 4条 且落点处为对方老将 则移动棋子 并提示战胜对方 游戏结束 原因 1 落点方向的邻近交叉点无棋子 2 落点与起点构成日字 3 落点处有己方棋子 4 落点在棋盘外 5 落点处无棋子 6 落点处为对方棋子 非老将 7 落点处为对方棋子 老将 中间节点 11 允许移动 结果 21 不移动棋子 22 移动棋子 23 移动棋子 并除去对方棋子 24 移动棋子 并提示战胜对方 结束游戏 第一种解题思路 从3 4 5 6 7之间的唯一约束下手 只有遵守唯一关系时才是有效的 否则无论1 2取什么值都是错误的 3 3 4 4 5 5 6 6 7 7遵遵守守唯唯一一约约束束 1 24 23 2 22 11 5 4 3 6 21 落点方向的 邻近交叉点 无棋子 落点与起点 构成日字 落点处有自己 方棋子 落点在棋盘外 落点处无棋子 落点处为对方棋 子 非老将 不移动棋子 移动棋子 移动棋子 并 除去对方棋子 移动棋子 并提示战 胜对方 结束游戏 允许移动 7落点处为对方棋 子 老将 O 1 11 10 00 00 00 00 0 0 00 01 10 00 00 00 01 11 11 11 11 11 11 11 11 11 11 11 1 0 00 00 01 10 00 00 01 11 11 11 11 11 11 11 10 00 00 00 0 0 00 00 00 01 10 00 01 11 11 11 10 00 00 00 01 11 11 11 1 1 10 00 00 00 01 10 01 11 10 00 01 11 10 00 01 11 10 00 0 0 01 10 00 00 00 01 11 10 01 10 01 10 01 10 01 10 01 10 0 FALSE FALSE FALSEFALSEFALSE FALSE FALSE 这样的数据组合在实际测试时是不可能构造出来的 所以无需测试 TRUETRUETRUETRUETRUETRUETRUE FALSE FALSE FALSEFALSEFALSE FALSE FALSE FALSE FALSE FALSEFALSEFALSE FALSE FALSE FALSE FALSE FALSEFALSEFALSE FALSE FALSE 14151617 0 00 00 00 0 0 00 00 00 0 0 00 00 00 0 1 10 00 00 0 0 01 10 00 0 0 00 01 10 0 0 00 00 01 1 FALSE FALSE FALSEFALSE TRUETRUETRUETRUE FALSE FALSE FALSEFALSE FALSE FALSE FALSEFALSE FALSE FALSE FALSEFALSE 14151617 考考虑虑到到只只要要是是在在棋棋盘盘外外 其其它它条条件件无无法法取取值值 结结果果就就是是不不能能移移动动 所所以以条条件件1 1可可以以单单独独考考虑虑成成为为一一个个用用例例 其其它它的的条条件件才才在在一一起起做做因因果果图图和和判判定定表表 即即1 1 6 6 1111 1616可可以以合合成成一一个个用用例例 就就是是在在落落点点是是棋棋盘盘外外的的情情况况下下 结结果果直直接接为为不不能能移移动动 不不需需要要跟跟其其它它条条件件放放在在一一起起判判断断 这这样样的的话话就就剩剩下下1717个个测测试试用用例例 如如果果落落点点不不构构成成日日字字 也也就就没没有有了了所所谓谓的的绊绊马马腿腿判判断断 所所以以当当条条件件2 2为为0 0时时 条条件件1 1不不必必取取值值 这这样样6 6 7 7 8 8 9 9和和1414 1515 1616 1717又又能能合合并并 1314151617181920212223242526272829303132 3 3 4 4 5 5 6 6 7 7违违反反唯唯一一约约束束 1 11 11 11 10 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 0 0 00 0