以下是某“象棋中走马事件”应用程序的走马规则,请按要求回答问题。
以下是中国象棋中走马事件中的走马原则:
(1)如果落点在棋盘外,则不移动棋子。
(2)如果落点与起点不构成日字型,则不移动棋子。
(3)如果落点处有己方棋子,则不移动棋子。
(4)如果在落点方向的邻近交叉点有棋子(绊马腿),则不移动棋子。
(5)如果不属于(1)~(4)条,且落点处无棋子,则移动棋子。
(6)如果不属于(1)~(4)条,且落点处为对方棋子(非老将),则移动棋子并除去对方棋子。
(7)如果小属于(1)~(4)条,且落点处为对方老将,则移动棋子,并提示战胜对方,游戏结束。
对该软件进行基于因果图的方法设计测试用例。
参考答案:根据上面的因果图,建立对应的判定表。
在该应用程序中,原因有7个,一个完整的判定表应有128种情况。由于篇幅的限制,且考虑到5、6、7原因只与中间结果11自关,所以这里将完整的判定表拆分为两个子表,如表1和表2所示。对于结果22、23、24,中间结果是原因,因此在表2中,将11作为原因。
判定表1如下:
[*]
判定表2如下:
[*]
由表1可知,当结点11为1时,结果21为0。由于结果21、22、23、24受到0约束的限制,不能同时为0,所以在表2中的2列是不能出现的情况;同样受到。约束的还有8、12、14和16列;由于E约束,第7、8、11到16列也是不可能出现的情况。在表中用灰框表示。
最后根据判定表设计测试用例。如表2所示,判定表中没有被划去的每一列就是一个测试用例。
解析: 首先分析走马规则,找出所有的原因以及所有可能的结果,结合题目中找出二者的联系,按照因果图的画法规则,画出因果图。然后按照基于因果图的方法设计测试用例。