等价类 边界值 因果图.ppt

* 决策表的优点和缺点 优点： 能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。 缺点： 不能表达重复执行的动作，例如循环结构。 * * 掩码标记（结果约束）：如果结果b为真，那么结果a一定为假，如果结果b为假，则结果a的状态不定。还拿支付宝来举例子，先给出两个结果：安全控件运行正常（a），无法输入登陆密码（b）。如果无法输入登陆密码，那么可以判断是安全控件没有正常运行。反过来，如果可以输入登陆密码，则不能确定安全控件一定工作正常 用因果图生成测试用例的基本步骤 分析软件规格说明描述中，哪些是原因 (即输入条件或输入条件的等价类)，哪些是结果 (即输出条件)，并给每个原因和结果赋予一个标识 分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。  (3) 由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。标明约束或限制条件。（找出原因和原因、结果与结果之间的约束限制）(4) 把因果图转换成判定表。(5) 把判定表的每一列拿出来作为依据，设计测试用例。 在因果图中出现的基本符号通常在因果图中用Ci表示原因，用Ei表示结果，各结点表示状态，可取值“0”或“1”。“0”表示某状态不出现，“1”表示某状态出现。 主要的原因和结果之间的逻辑关系有:恒等、与、或、非 例，某个软件的规格说明中包含这样的要求： “第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。” 原因： 1－－第一列字符是A; 2－－第一列字符是B; 3－－第二列字符是数字。 结果： 21－－修改文件; 22－－给出信息L; 23－－给出信息M。 1 2 11 3 23 21 22 ∨ ~ ∧ ~ E 因果图 1 2 3 4 5 6 7 8 条件（原因） 1 1 1 1 1 0 0 0 0 2 1 1 0 0 1 1 0 0 3 1 0 1 0 1 0 1 0 中间结果 11 1 1 1 1 0 0 动作（结果） 22 0 0 0 0 1 1 21 1 0 1 0 0 0 23 0 1 0 1 0 1 测试用例 A2 AV B4 BT V4 RW 判定表 FORTRAN语言的语法规定是非常严格的。 在一个程序行中，第1－5列是标号区，第6列是续行区。 如果前6列是空白，则执行动作A。如果第1－5列有标号且是正确的标号，则执行动作B后再执行动作A；反之，若是错误的标号，则执行动作C。如果第6列不是空白而是字母C，则执行动作D后再执行A；反之，执行动作C。 原因： 1－前6列是空白 2－第1－5列是正确的标号 3－第6列是字母C 结果： 动作A—正确执行 E1:执行动作A 动作B－处理标号 E2:执行动作B后再执行动作A 动作C－错误处理 E3:执行动作C 动作D－处理续行 E4:执行动作D后再执行A 1 2 E1 3 E4 E3 E2 ∨ ~ ~ O 因果图 E1:执行动作A E2:执行动作B后再执行动作A E3:执行动作C E4:执行动作D后再执行A 1－前6列是空白 2－第1－5列是正确的标号 3－第6列是字母C 判定表 1 2 3 4 5 6 7 8 条件 1 Y Y Y Y N N N N 2 Y Y N N Y Y N N 3 Y N Y N Y N Y N 结果 E1 X E2 X E3 X E4 X 测试用例 4 6 7 条件（原因） 1 1 0 0 2 0 1 0 3 0 0 1 动作（结果） A 1 1 1 B 0 1 0 C 1 1 1 D 0 0 1 测试用例 第1－5列 第6列 第1－5列 第6列 第1－5列 第6列 空白 空白 xyz 123 空白 空白 空白 空白 C ? 判定表 * 5、因果图举例 例1：某软件规格说明书包含这样的要求： 输入的第一个字符必须是 # 或 *，第二个字符必须是一个数字，此情况下进行记录的修改 如果第一个字符不是 # 或 *，则给出信息 N 如果第二个字符不是数字，则给出信息 M * 1)?根据题意，分析原因和结果如下： 原因： １——第一个字符是“#” 　　　 ２——第一个字符是“*”　 　　 　３——第二个字符是一个数字