软件质量保证与测试 因果图法

1、n什么是因果图n为什么使用因果图法n因果图法的使用方法n小结因果图n源于需求分析的一种常用表示n用图示的方式表示:q原因与结果之间的关系q各原因之间的约束关系q各原因间的先后关系q各结果之前的先后关系因果图的基本关系符号和连接n关系C1E1恒等关系恒等关系C1E1非关系非关系C1E1或关系或关系C2C3C1E1与关系与关系C2C3因果图的基本关系符号和连接n约束abEa和和b，至多一，至多一个为真个为真abIa和和b，至少一，至少一个为真个为真bOa和和b，有且只，有且只有一个为真有一个为真abRa-babMa-ba例n某程序要求：1.文件中的第一个字符必须是A或B；2.第二个字符必须是数字字

2、符；3.若第一个字符不是A或B，输出信息L；4.若第二个字符不正确，则输出信息M；5.否则，对文件进行修改。例：原因与结果n原因qC1： 第一个字符是A qC2： 第一个字符是BqC3 ：第二个字符是数字n结果qE1：输出信息LqE2：修改文件qE3：输出信息M例：因果图C1C2C3E1E2E310VE为什么使用因果图法n对比q等价类划分法n原因必须是一种划分n等价关系不易确定q对比决策表法n条件桩的各条件具有一定的独立性假设n难以体现逻辑过程n因果图：q强调合理输入，有合理输出；q可以增加适当的约束q可以体现逻辑过程和输出过程例：所有男同学去踢球，所有班级干部开会所有男同学去踢球，所有班级干

3、部开会n等价类划分q男班干部、女班干部、普通男同学、普通女同学n决策表q是男同学(T、F)q是班干部(T、F)n因果图男班干部女班干部男同学女同学EERR因果图法的使用1.构造因果图2.形成决策表3.简化决策表4.设计测试用例及数据例1n某程序要求：文件中的第一个字符必须是A或B；第二个字符必须是数字字符；若第一个字符不是A或B，输出信息L；若第二个字符不正确，则输出信息M；否则，对文件进行修改。例1：原因与结果n原因qC1： 第一个字符是A qC2： 第一个字符是BqC3 ：第二个字符是数字n结果qE1：输出信息LqE2：修改文件qE3：输出信息M例1：因果图C1C2C3E1E2E310VE

4、例1：形成决策表12345678C111110000原因C211001100C31010101010XX111100E1结果E2E3用例A3A9AKABB7B8BMBAC5X5DUPK例1形成测试用例(数据)集c1c2c3输入预期输出1TFTA3修改文件2TFFAK信息M3FTTB5修改文件4FTFBW信息M5FFTC6信息L6FFFPK信息LM例2：n自动售货机一次只能售卖一瓶饮料，饮料分“橙汁”和“啤酒”两种，每种饮料均为5角，售货机每次只接收一个5角或一个1元的硬币。n用户使用售货机的方法如下：若投入5角钱，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出去。n若投入1元钱，按下“橙汁”或“啤酒”的按钮，但售货机没有零钱找，则一个点亮“零钱找完”的红灯，并退出投入的1元硬币；n并按下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时找回零钱。例2：列出原因和结果n原因q投入5角q投入1圆q按橙汁按钮q按啤酒按钮q机内有零钱q机内无零钱结果 出橙汁 出啤酒 找零5角 退回1圆 “零钱找完”灯亮 “零钱找完”灯灭小结-因果图法n原因和结果的确定，可直观得到，也可通过分析确