不好意思,由于这个例子是我原创的,太熟悉了,所以没有仔细看,也忽略了后面的问题,我现在就对楼上的问题做一个简单的解答。
问题1:落点是否在棋盘上如何定义都没有问题,只要定义与图的恒等或者非的关系对应即可,当然后面也要正确对应在判定表的0或1上;
问题2、3:这两个问题其实是一个问题,你所说的确实有一定道理,但是之前如此考虑主要原因是因为后续要将此因果图通过中间结点11拆分为两个小表,如果将3、5、6、7约束并列,对于后续拆表带来一定麻烦,而在实际逻辑上3与其他各原因的约束依靠后面的O约束进行了补充。
答11楼:你说的步骤中还缺少了第四步,由判定表生成测试用例。
注:此因果图例子是我当初给同事培训原创的例子,不知哪位好心同事未仔细核对版本便将其上传于网络,被大量转载,但其中原因4的逻辑定义相反造成错误,困惑了很多同仁,表示歉意,网上后来我放上了更正后的一个版本,即更改了原因4的定义(多搜索相信可以找到),当然这还不是最终的版本,因为最新版本还有其他用意,会晚些才能提供。