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

因果图法 因果图法什么是因果图为什么使用因果图法因果图法的使用方法小结 因果图源于需求分析的一种常用表示用图示的方式表示:原因与结果之间的关系各原因之间的约束关系各原因间的先后关系各结果之前的先后关系 因果图的基本关系符号和连接关系C1E1恒等关系C1E1非关系C1E1或关系C2C3∨C1E1与关系C2C3∧ 因果图的基本关系符号和连接约束abEa和b，至多一个为真abIa和b，至少一个为真bOa和b，有且只有一个为真abRa-babMa-~ba 例某程序要求：文件中的第一个字符必须是A或B；第二个字符必须是数字字符；若第一个字符不是A或B，输出信息L；若第二个字符不正确，则输出信息M；否则，对文件进行修改。 例：原因与结果原因C1： 第一个字符是A C2： 第一个字符是BC3 ：第二个字符是数字结果E1：输出信息LE2：修改文件E3：输出信息M 例：因果图C1C2C3E1E2E310V~~E∧ 为什么使用因果图法对比等价类划分法原因必须是一种划分等价关系不易确定对比决策表法条件桩的各条件具有一定的独立性假设难以体现逻辑过程因果图：强调合理输入，有合理输出；可以增加适当的约束可以体现逻辑过程和输出过程 例：所有男同学去踢球，所有班级干部开会等价类划分男班干部、女班干部、普通男同学、普通女同学决策表是男同学(T、F)是班干部(T、F)因果图男班干部女班干部男同学女同学EERR 因果