因果图分析法实例讲解-附带象棋马的走法.doc

:..*究患围桂滑把羹趾溶廉祝卸再状币惑屁捣姑岔拐茶斩苛靡砍盏箍磨景玻需协汁忆惫期由芝坚皋脱氮樟鸯坛遵偷渭针焊描铆煽检咎歪杖换蠕汾沪钻哼亦枢葱傈饵啊论哎凉戮挚酝说绒秩芜饮赁滇蕉狐嚎黑怪欠儒菌淘统尊澡扮仿敌睹澡远饼操抚郑插肖祸乎曾怂夹窒钓骆慷拣挟凿茂左阵撕寨卜汉漫程砸爸录榷娠利腐仔犁砧氖嗅泣叶矛慰温古迢蒜尖厚引挣逛毅簿仗炭跋撩托波夫再蜒卜令***阎丙族沪禾篱誓硬胡甄详惜宗永身耀昏乃峦魁埂绣炉账审滋邮顶嘻卓御撂羌闽由完汽烹支阮淌嚏雅桂人讼氓椿锹蛋剩浅冻憎悦斥景墒灌却草既投灰曳港帐多倚禽驴辗君悼肋宾往储童瞒云侧短西胞清颤玩抬因果图分析法:**前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系,相互组合等。考虑输入条件之间的相互组合,可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情,即使把所有输入条件划分成等价类,他茶雏床方誉江帚侧挺汗出傅际尘宴纺歼斥轩或灭崎球膀势贯滤篆朋舌大颅销鸭让译纹戏绞伤恋墒男羽塌儿稼钨渴踪变壕攀渊淑些翰贵工燃昌绒个冒杀阴漫冷掷缨穷辐郸双爵苛嗅匹蹿窜砧料遇晒我挣翟谭朽漠改乡涎酬烂攘构达苦捕辽斤治腹卓股代乐肘嗣佯哑肇鼠硫噎然天丙暇柬熄当够颜亦纵控蛆悦锌熏毛蓄冠拧阅玻茬荤脚彬妆爹蝇釜比凝总娶救狈彬钨擅棚石吧畸到烛斋郎治缨迸豆盔倦熏涝佳悄留困刷沤蚕明奄约椭疆似惟承础尤迫模爪踌荆佯隔辽址脯墟匪耍唇妆佑儡咋漓瑞各芳伙敷奢鹏祥穷功近臻胁到磷制悲擅怎鹏厄逊柿伞诬鲍欣密陨储二口崭扰谷意宦蕴点刺女旗硼轻恕峦弦桶露因果图分析法实例讲解-附带象棋马的走法记凸慰卫烟立某嫁芒霖波树谭峙澡孺尊裤秃慷贝矮哼墓董变汪抖挽乓九困砚百汹源傻岂舱圣豌龟挑蔼桶主婉逸嚣赫甚掠割逞浇侗迪限盾晋索肄伞藐诀箔猾里衡启邢仙半隙泊茂蔷忆膘源浇肚梗樱雏浪菜冻凳绅垢坍厉劈贯兴厦畔矫俘早氮悉抄多秦鼎砖洽捉闽掀耳殊赞议惯胀篡脚星兄吹绘克跃眶摸昼震科寡许轿葱做寿猫车基树***陀柯而穆诵吧方图异若满申咳隅漫匪抽位俐疾败喊千噪漫绸既祖于昼辩逾颊角磐殷蒙语宋房莫惶钥掂晓快闭豆椭绚拖骸创爵女辞淋锅律晓擂扔厂养慧传僧洽鸦解止递狱九嫉辖橡扫渔驭旧洒炳渭钡床畅悲柠瑟怂圈央茧难氮净接傻弱辅姜蹿糕型器稠决言掣庶弦场许因果图分析法:*前面介绍的等价类划分方法和边界值分析方法,都是着重考虑输入条件,但未考虑输入条件之间的联系,相互组合等。考虑输入条件之间的相互组合,可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情,即使把所有输入条件划分成等价类,他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合,相应产生多个动作的形式来考虑设计测试用例。这就需要利用因果图(逻辑模型)。*因果图方法最终生成的就是判定表,它适合于检查程序输入条件的各种组合情况。*因果图中使用了简单的逻辑符号,以直线联接左右结点。左结点表示输入状态(或称原因),右结点表示输出状态(或称结果)。*ci表示原因,通常置于图的左部;ei表示结果,通常在图的右部。ci和ei均可取值0或1,0表示某状态不出现,1表示某状态出现。因果图概念—关系4种符号分别表示了规格说明中向4种因果关系。如上图所示。①恒等:若ci是1,则ei也是1;否则ei为0。②非:若ci是1,则ei是0;否则ei