7-黑盒-因果图

《7-黑盒-因果图》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、因果图方法定义是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。因果图法产生的背景等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。如果在测试时必须考虑输入条件的各种组合，则可能的组合数目将是天文数字，因此必须考虑采用一种适合于描述多种条件的组合、相应产生多个动作的形式。因果图—决策表左结点表示输入状态（或称原因）右结点表示输出状态（或称结果）。ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和

2、ei均可取值0或1，0表示某状态不出现，1表示某状态出现。因果图介绍因果图介绍4种符号分别表示了规格说明中4种因果关系。因果图概念1)关系①恒等：若ci是1，则ei也是1；否则ei为0。②非：若ci是1，则ei是0；否则ei是1。③或：若c1或c2是1，则ei是1；否则ei为0。“或”可有任意个输入。④与：若c1和c2都是1，则ei是1；否则ei为0。“与”也可有任意个输入。2)约束输入状态或输出状态之间的依赖关系，称为约束。A.输入条件的约束有以下4类：①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。②

3、I约束（或）：a、b和c中至少有一个必须是1，即a、b和c不能同时为0。③O约束（唯一）；a和b必须有一个，且仅有1个为1。④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。当a为0时，b值不定。B.输出条件约束类型输出条件的约束只有M约束（屏蔽、强制）：若结果a是1，则结果b强制为0。当a为0时，b值不定。采用因果图法设计测试用例的步骤1)分析软件规格说明描述中,那些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件),并给每个原因和结果赋予一个标识符。必要时，添加中间结点。2)分析软件规格说明

4、描述中的语义，找出原因与结果之间,原因与原因之间对应关系，根据这些关系,画出因果图。3)由于语法或环境限制,有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些特殊情况,在因果图上用一些记号表明约束或限制条件。4)把因果图转换为判定表。5)把判定表的每一列拿出来作为依据,设计测试用例。示例1.某软件规格说明书包含这样的要求：第一个字符必须是A或B，第二个字符必须是一个数字，在此情况下进行文件的修改，但如果第一个字符不正确，则给出信息L；如果第二个字符不是数字，则给出信息M。1)根据题意，原因、结果和中间结点如

5、下：原因：1——第一个字符是A；2——第一个字符是B；3——第二个字符是一数字。结果：21——修改文件；22——给出信息L；23——给出信息M。中间节点：11——第一个字符正确2)其对应的因果图如下：11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。3)根据因果图建立判定表。表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。2.有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的

6、按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。1)分析这一段说明，列出原因和结果原因：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮22.退还1元硬币23.退还5角硬币24.送出橙汁饮料25.送出啤酒饮料画出因果图，如图所示。所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示

7、处理的中间状态。中间结点：11.投入1元硬币且押下饮料按钮该找5角12.押下〖橙汁〗或〖啤酒〗的按钮押下按钮13.应当找5角零钱并且售货机有零钱找可找5角14.钱已付清钱付清3)转换成判定表：4)在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。第16列与第32列因什么动作也没做，也删去。最后可根据剩下的16列作为确定测试用例的依据。练习：因果图法设计测试用例某销售系统的“供货折扣计算模块”，采用如下规则计算供货折扣：当客户为批发型企业时，若订货数大于50件，发货距离不超过50KM，则折扣率为15%，而当发货

8、距离超过50KM，折扣率为10%；当客户为非批发型企业时，若订货数大于50件，发货距离不超过50KM，则折扣率为10%，并派人跟车，而当发货距离超过50KM时，折扣率为5%；