T006-测试理论与测试设计讲义.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 测试设计方法 因果图的画法 C1 E1 C1 E1 C1 C2 C3 E1 C1 E1 C2 图1—1 因果图的基本符号 (1)恒等 (2)非 (3)或 (4)与 测试设计方法 因果图基本图形介绍 如图1—1中所示，ci表示原因，一般置于图左部；ei表示结果，一般置于图右部。ci和ei都可以取值0或1，0表示某状态不出现，1表示某状态出现。 （1）恒等：若c1为1，则e1也为1；否则，e1为0。 （2）非： 若c1为1，则e1为0；否则e1为1。 （3）或： 若c1或c2或c3为1，则e1为1；否则e1为0；“或” 可有任意个输入。 （4）与： 若c1和c2都为1，则e1为1；否则e1为0；“与” 也可有任意个输入。 测试设计方法 因果图中约束符号 在实际问题中，输入条件相互之间还可能存在某些依赖关系，称之为“约束”，比如某些输入条件本身不可能同时出现，输出状态间也往往存在约束。在因果图中用特定符号表明这些约束，见下图: b a E约束（异） b a c I约束（或） a b O约束（唯一） a b a b R约束（要求） M约束（强制） 图1—2约束符号 测试设计方法 因果图中约束符号 （1）E约束（异）：a、b中至多有一个可能为1，即a、b不可能同时为1。 （2）I约束（或）： a、b、c中至少有一个必须为1，即a、b、c不能同时为 0。 （3）O约束（唯一）：a、b中必须有一个，且仅有一个为1。 （4）R约束（要求）：a是1时，b必须是1，即不可能出现a是1时，b是 0。 （5）M约束（强制）：如果结果a为1，则结果b强制为0。即a、b不能同时出现. 注意：（1）—（5）中只有（5）是对结果的约束。 测试设计方法 因果图测试举例 举例:如想对文件进行修改，输入的第一列字符必须是A或B，第二列字符必须是一个数字，如果第一列字符不正确，则给出信息L；如果第二列字符不正确，则给出信息M。 测试设计方法 因果图测试举例 第一步：分析了上面的规格说明的要求后，我们可以很明确的把原因和结果分开。 原因： 结果： 1.第一列字符为A 21.修改文件 2.第一列字符为B 22.给出信息 L 3.第二列字符为一数字 23.给出信息 M 测试设计方法 因果图测试举例 第二步：这个例子规格说明中，很明确的给出了原因和结果之间的对应关系，将原因和结果根据它们之间的对应关系用相应的逻辑符号连接起来，画出因果图如下： 图1—3中左列表示原因，右列表示结果，编号为11的结点是导出结果的进一步原因。 2 1 3 1 2 23 21 22 图1—3因果图实例 修改文件 给出信息 L 给出信息 M 第一列字符为A 第一列字符为B 第二列字符为一数字 测试设计方法 因果图测试举例 2 1 3 12 23 21 22 E 第三步：考虑到原因1和2不可能同时为1（即第一列不能同时为A和B），我们在图上可对其施加E约束，这样就有了具有约束的因果图，如下： 图1—4具有约束的因果图实例 测试设计方法 因果图测试举例 第四步：把因果图转换成判定表（决策表）如下 规则桩 1 2 3 4 5 6 7 8 条件（原因） 桩 第一列字符为A T T T T F F F F 第一列字符为B T T F F T T F F 第二列字符为数字 T F T F T F T F 动作（结果）桩 修改文件 — — T F T F F F 给出信息 L — — F F F T T T 给出信息 M — — F T F F F T 测试设计方法 因果图测试举例 规则：是指任何一个条件组合的特定取值及其相应要执行的操作。在判定表中贯穿条件项和动作项的一列就是一条规则.显然,判定表中列出多少组条件取值,也就有多少条规则,既条件项和动作项有多少列. 由于原因1和2不可能同时为1，故规则1、2属于不可能发生组合，编辑测试用例时可以不用考虑。 条件桩（Condition Stub）:列出了问题得所有条件。通常认为