因果 图法课件.doc

测试用例设计—因果图法 1、引言等价类划分方法与边界值分析方法,都就是着重考虑输入条件,但未考虑输入条件之间得联系、相互组合等、考虑输入条件之间得相互组合,可能会产生一些新得情况。但要检查输入条件得组合不就是一件容易得事情,即使把所有输入条件划分成等价类,她们之间得组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件得组合,相应产生多个动作得形式来考虑设计 HYPERLＩNK　＂jａｖaｓcripｔ。:;＂ \t　”_seｌf" 测试用例、这就需要利用因果图(逻辑模型)。因果图(Cause－EｆfectGｒaphing)提供了一个把规格转化为判定表得系统化方法,从该图中可以产生测试数据、其中原因就是表示输入条件,结果就是对输入执行得一系列计算后得到得输出。因果图方法最终生成得就就是判定表,它适合于检查程序输入条件得各种组合情况。?2、因果图介绍2。1图例说明?１、4种符号分别表示了规格说明中向４种因果关系、如图２—1所示。??图2－1　因果图关系??2、因果图中使用了简单得逻辑符号,以直线联接左右结点、左结点表示输入状态(或称原因),右结点表示输出状态(或称结果)。3、ci表示原因,通常置于图得左部;ｅｉ表示结果,通常在图得右部。ci与ei均可取值0或1,0表示某状态不出现,１表示某状态出现、??2、2因果图概念?１、关系(图２-1　因果图关系)①恒等:若ｃi就是1,则ei也就是1;否则ｅｉ为0。?②非:若cｉ就是1,则ei就是0;否则ei就是1。?③或:若c1或ｃ2或ｃ3就是１,则ｅi就是1;否则ei为0、“或"可有任意个输入。?④与:若c1与c２都就是1,则ei为1;否则ei为０。“与"也可有任意个输入、2、约束输入状态相互之间还可能存在某些依赖关系,称为约束、例如,某些输入条件本身不可能同时出现。输出状态之间也往往存在约束、在因果图中,用特定得符号标明这些约束、如图２-2所示、???图2—2因果图约束??Ａ、输入条件得约束有以下４类:?① Ｅ约束(异):a与b中至多有一个可能为1,即a与b不能同时为1。?② I约束(或):a、b与c中至少有一个必须就是1,即 ａ、b 与c不能同时为0。③ Ｏ约束(唯一);a与b必须有一个,且仅有１个为1。?④R约束(要求):a就是1时,b必须就是1,即不可能a就是１时ｂ就是0。??Ｂ。输出条件约束类型输出条件得约束只有Ｍ约束(强制):若结果a就是1,则结果ｂ强制为0。?２、3因果图法设计　HYPＥRＬINK "jａvaｓｃriｐt:;”　\t ＂_self"　测试用例步骤?1、分析待测得系统规格,找出原因与结果?分析软件规格说明描述中,那些就是原因(即输入条件或输入条件得等价类),那些就是结果(即输出条件), 并给每个原因与结果赋予一个标识符。?2、画出因果图分析软件规格说明描述中得语义。找出原因与结果之间,原因与原因之间对应得关系、根据这些关系,画出因果图。?３、标记约束或限制条件由于语法或环境限制,有些原因与原因之间,原因与结果之间得组合情况下不可能出现、 为表明这些特殊情况,在因果图上用一些记号表明约束或限制条件。?４、把因果图转换为判定表。5、用判定表中得每一项生成测试用例。３.因果图 ＨYPＥRLINK ”javascript、:;"　\t　”＿self"　实例3.1实例一??某软件规格说明书包含这样得要求:第一列字符必须就是A或Ｂ,第二列字符必须就是一个数字,在此情况下进行文件得修改,但如果第一列字符不正确,则给出信息L;如果第二列字符不就是数字,则给出信息M。?1、对说明进行分析,得到原因与结果:?原因:?1:第一列字符就是A;?2:第一列字符就是Ｂ;3:第二列字符就是一数字。??结果:?2１:修改文件;?2２:给出信息L;２3:给出信息M。?2、其对应得因果图如下:1１为中间节点;考虑到原因1与原因２不可能同时为1,因此在因果图上施加E约束,如图3－１所示。???图３-1实例一得因果图??3、根据因果图建立判定表、??表中8种情况得左面两列情况中,原因①与原因②同时为1,这就是不可能出现得,故应排除这两种情况。?4、把判定表得每一列拿出来作为依据,设计测试用例?我们把表得最下一栏给出了６种情况得测试用例,这就是我们所需要得数据。?3.2实例二?有一个处理单价为5角钱得饮料得自动售货机 HYPＥRLINK "ｊavａsｃriｐt:;＂　＼ｔ　”_ｓelf"　软件测试用例得设计、其规格说明如下:若投入5角钱或1元钱得硬币,押下〖橙汁〗或〖啤酒〗得按钮,则相应得饮料就送出来。若售货机没有零钱找,则一个显示〖零钱找完〗得红灯亮,这时在投入１元硬币并押下按钮后,饮料不送出来而且1元硬币也退出