因果图和判定表.pptVIP

黑盒测试的测试用例设让 输入 因果图法 笑 软件 一判定表法 输出 黑盒测试不深入代码细节 因果图法 一等价类划分法和边界值分析方法都是着重考虑输入条 件,如果程序输入之间没有什么联系,采用等价类划 分和边界值分析是一种比较有效的方法 但如果输入之间有关系,例如,约束关系、组合关系 这种关系用等价类划分和边界值分析是很难描述的 测试效果难以保障。 因此必须考虑使用一种适合于描述对于多种条件的组 合,产生多个相应动作的测试方法,因果图正是在此 背景下提出的。 因果图基本符号 因果图中用来表示4种因果关系的基本符号 恒等 ∧ 或 因果图4种基本关系 在因果图的基本符号中,图中的左结点c;表示输入 状态(或称原因),右结点e;表示输出状态(或称结果) 。c1与e取值0或1,0表示某状态不出现,1则表示 某状态出现 恒等:若c1是1,则e1也为1,否则e1为0。 非:若c1是1,则e1为0,否则e1为1。 或:若c1或c2或c3是1,则e1为1,否则e1为0 与:若c1和c2都是1,则e1为1,否则e为0。 因果图(续) 因果图中用来表示约束关系的约束符号 E 或 要求 强制(b