全面的黑盒测试基本方法[文字可编辑].pptVIP

因果图法 ? 2.4.1 因果图法的原理 1 ．因果图 ~ c 1 e 1 c 1 e 1 c 1 e 1 c 2 c 3 c 1 c 2 e 1 ? ? (a) 恒等 (b) 非 (c) 或 (d) 与 图 2.3 因果图的基本符号 因果图法的原理 b b a a a b a a b b c E I O 异或 或 唯一 R M 要求 强制 图 2.4 约束符号 因果图法的原理 2 ．因果图法测试用例的设计步骤 : （ 1 ）确定软件规格中的原因和结果。分析规格说明中哪些是原因（即输入条 件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和 结果赋予一个标识符。 （ 2 ）确定原因和结果之间的逻辑关系。分析软件规格说明中的语义，找出原 因与结果之间、原因与原因之间对应的关系，根据这些关系画出因果图。 （ 3 ）确定因果图中的各个约束。由于语法或环境的限制，有些原因与原因之 间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因 果图上用一些记号表明约束或限制条件。 （ 4 ）把因果图转换为决策表。 （ 5 ）根据决策表设计测试用例。 因果图法 ? 2.4.2 因果图法的测试运用 某软件规格说明书规定：输入的第一个字符必须是 # 或 * ，第二个字符必须是一个数字，此情况下进行文件的修改； 如果第一个字符不是 # 或 * ，则给出信息 N ，如果第二