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

因果图法因果图法什么是因果图为什么使用因果图法因果图法的使用方法小结因果图源于需求分析的一种常用表示用图示的方式表示:原因与结果之间的关系各原因之间的约束关系各原因间的先后关系各结果之前的先后关系因果图的基本关系符号和连接关系C1E1恒等关系C1E1非关系C1E1或关系C2C3∨C1E1与关系C2C3∧因果图的基本关系符号和连接约束abEa和b，至多一个为真abIa和b，至少一个为真bOa和b，有且只有一个为真abRa->babMa->~ba例某程序要求：

文件中的第一个字符必须是A或B；第二个字符必须是数字字符；若第一个字符不是A或B，输出信息L；若第二个字符不正确，则输出信息M；否则，对文件进行修改。例：原因与结果原因C1：第一个字符是AC2：第一个字符是BC3：第二个字符是数字结果E1：输出信息LE2：修改文件E3：输出信息M例：因果图C1C2C3E1E2E310V~~E∧为什么使用因果图法对比等价类划分法原因必须是一种划分等价关系不易确定对比决策表法条件桩的各条件具有一定的独立性假设难以体现逻辑过程因果图：强调合理输入，有合理输出；可以增加适当的约束可以体现逻辑过程和输出过程例：所有男同学去踢球，所有班级干部开会等价类划分男班干部、女班干部、普通男同学、普通女同学决策表是男同学(T、F)是班干部(T、F)因果图男班干部女班干部男同学女同学EERR因果图法的使用构造因果图形成决策表简化决策表设计测试用例及数据例1某程序要求：

文件中的第一个字符必须是A或B；第二个字符必须是数字字符；若第一个字符不是A或B，输出信息L；若第二个字符不正确，则输出信息M；否则，对文件进行修改。例1：原因与结果原因C1：第一个字符是AC2：第一个字符是BC3：第二个字符是数字结果E1：输出信息LE2：修改文件E3：输出信息M例1：因果图C1C2C3E1E2E310V~~E∧例1：形成决策表12345678C111110000原因C211001100C31010101010XX111100E1√√结果E2√√E3√√√用例A3A9AKABB7B8BMBAC5X5DUPK例1形成测试用例(数据)集c1c2c3输入预期输出1TFTA3修改文件2TFFAK信息M3FTTB5修改文件4FTFBW信息M5FFTC6信息L6FFFPK信息LM例2：自动售货机一次只能售卖一瓶饮料，饮料分“橙汁”和“啤酒”两种，每种饮料均为5角，售货机每次只接收一个5角或一个1元的硬币。用户使用售货机的方法如下：

若投入5角钱，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出去。若投入1元钱，按下“橙汁”或“啤酒”的按钮，但售货机没有零钱找，则一个点亮“零钱找完”的红灯，并退出投入的1元硬币；并按下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示“零钱找完”的红灯灭，在送出饮料的同时找回零钱。例2：列出原因和结果原因投入5角投入1圆按橙汁按钮按啤酒按钮机内有零钱机内无零钱结果出橙汁出啤酒找零5角退回1圆“零钱找完”灯亮“零钱找完”灯灭小结-因果图法