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

因果图法 因果图法 什么是因果图 为什么使用因果图法 因果图法的使用方法 小结 因果图 源于需求分析的一种常用表示 用图示的方式表示: 原因与结果之间的关系 各原因之间的约束关系 各原因间的先后关系 各结果之前的先后关系 因果图的基本关系符号和连接 关系 C1 E1 恒等关系 C1 E1 非关系 C1 E1 或关系 C2 C3 ∨ C1 E1 与关系 C2 C3 ∧ 因果图的基本关系符号和连接 约束 a b E a和b，至多一个为真 a b I a和b，至少一个为真 b O a和b，有且只有一个为真 a b R a-b a b M a-~b a 例 某程序要求： 文件中的第一个字符必须是A或B； 第二个字符必须是数字字符； 若第一个字符不是A或B，输出信息L； 若第二个字符不正确，则输出信息M； 否则，对文件进行修改。 例：原因与结果 原因 C1： 第一个字符是A C2： 第一个字符是B C3 ：第二个字符是数字 结果 E1：输出信息L E2：修改文件 E3：输出信息M 例：因果图 C1 C2 C3 E1 E2 E3 10 V ~ ~ E ∧ 为什么使用因果图法 对比 等价类划分法 原因必须是一种划分 等价关系不易确定 对比决策表法 条件桩的各条件具有一定的独立性假设 难以体现逻辑过程 因果图： 强调合理输入，有合理输出； 可以增加适当的约束 可以体现逻辑过程和输出过程 例：所