黑盒测试-因果图、判定表

13
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
判定表的组成
规则
条 条件桩（ 条件桩（Condition stub） ） 动作桩（ 动作桩（Action stub） ） 条件项（ 条件项（Condition Entity） ） 动作项（ 动作项（Action Entity） ） 桩 动作项 件 桩 条件项
5
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
步骤
①分析程序规格说明的描述中，哪些是原因，哪 分析程序规格说明的描述中，哪些是原因， 些是结果。 些是结果。原因常常是输入条件或是输入条件 的等价类。而结果是输出条件。 的等价类。而结果是输出条件。 分析程序规格说明的描述中语义的内容， ②分析程序规格说明的描述中语义的内容，并将 其表示成连接各个原因与各个结果的“因果图” 其表示成连接各个原因与各个结果的“因果图” 由于语法或环境的限制， ③由于语法或环境的限制，有些原因和结果的组 合情况是不可能出现的。 合情况是不可能出现的。为表明这些特定的情 况，在因果图上使用若干个特殊的符号标明约 束条件。 束条件。 把因果图转换成判定表。 ④把因果图转换成判定表。 把判定表中每一列表示的情况写成测试用例。 ⑤把判定表中每一列表示的情况写成测试用例。
2
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
因果图介绍
恒等 c1 e1
非
c1 c1
e1
或
c2 c3 c1
V
e1
与 c2
∧
e1
3
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
条件的约束 • 输入条件约束
16
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
12
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
例子 • 一张关于科技书阅读指南的判定驱动表： 一张关于科技书阅读指南的判定驱动表： • 3个问题 种情况 个问题8种情况 个问题
1 问 题 书 建 议 读 一 阅读 读 X X 读 Y Y Y X X 2 Y Y N 3 Y N Y 4 Y N N 5 N Y Y X X X X 6 N Y N 7 N N Y 8 N N N
X X X X X X 两条规则和并成一条
15
两条规则进一步和并
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
规则和并的例子 • 规则和并后： 规则和并后：
1 问 题 Y Y 建 议 X X X X 后 2 Y N 3 Y N 4 N N -
11
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
判定表驱动测试 在一些数据处理问题中， 在一些数据处理问题中，某些操作是否实 施依赖于多个逻辑条件的取值； 施依赖于多个逻辑条件的取值； 在这些逻辑条件取值的组合所构成的多种 情况下，分别执行不同的操作； 情况下，分别执行不同的操作； 处理这类问题的一个非常有力的分析和表 达工具是判定表（ 达工具是判定表（Decision Table） ）
黑盒测试
因果图、 因果图、判定表测试
因果图
因果图方法（ ）：一种 因果图方法（Cause-Effect graphics）：一种 ）： 黑盒测试方法。 黑盒测试方法。 方法的依据： 方法的依据： 需求规格说明中的因果关系。 需求规格说明中的因果关系。 能够帮助我们按照一定步骤，高效率地选择测 能够帮助我们按照一定步骤， 试用例，同时还指出， 试用例，同时还指出，程序规格说明描述中存 在着的问题
21----修改文件； 修改文件； 修改文件 22----给出信息 ； 给出信息L； 给出信息 23----给出信息 ； 给出信息M； 给出信息
8
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
例子 因果图和具有约束的因果图： 因果图和具有约束的因果图：
9
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
例子 • 根据因果图建立如下的判定表： 根据因果图建立如下的判定表：
条 件 1 2 3 11 22 21 23 1 1 1 1 //// //// // // // //// 2 1 1 0 //// //// // // // //// 3 1 0 1 1 0 1 0 A3 A8 4 1 0 0 1 0 0 1 AM A 5 0 1 1 1 0 1 0 B5 B4 6 0 1 0 1 0 0 1 BN B 7 0 0 1 0 1 0 0 C2 X6 8 0 0 0 0 1 0 1 DY P： ： 原 因
6
©2007 iSoftStone HБайду номын сангаасldings Ltd. All Rights Reserved.
例子 软件规格说明书: 软件规格说明书 “第一列字符必须是 或B，第二列字符必 第一列字符必须是A或 ， 第一列字符必须是 须是一个数字， 须是一个数字，在此情况下进行文件的修 但如果第一列字符不正确， 改。 但如果第一列字符不正确，则给出信 息L，如果第二列字符不是数字，则给出 ，如果第二列字符不是数字， 信息M.” 信息
22 1 ∨ 2 3 因果图实例 23 11 ∧ 21 E 2 3 具有E约束的因果图 具有 约束的因果图 23 1 ∨ 11 ∧ 21 22
11为中间节点； 为中间节点； 为中间节点 考虑到原因1和原因 不可能同时为1，因此在因果图上施加E约束 考虑到原因 和原因2不可能同时为 ，因此在因果图上施加 约束 和原因 不可能同时为
a E b a F b c a G b G约束（唯一）： ，b中必须有一个且仅有一个为 。 约束（唯一）：a， 中必须有一个且仅有一个为 中必须有一个且仅有一个为1。 约束 ）： F约束（或）：a，b和c中至少有一个必须为 ， 约束（ ）： ， 和 中至少有一个必须为 中至少有一个必须为1， 约束 即a，b和c不能同时为 。 ， 和 不能同时为0。 不能同时为 E约束（异）：a，b中至多有一个可能为 ， 约束（ ）： ， 中至多有一个可能为 中至多有一个可能为1， 约束 不能同时为1。 即a和b不能同时为 。 和 不能同时为
动 作
结 果
表
8 的
的 的 据
因 表的
因 下
1 6
的
10
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
讨论 在较为复杂的问题中， 在较为复杂的问题中，这个方法常常是十 分有效的， 分有效的，它能有力地帮助我们确定测试 用例。 用例。 如果哪个开发项目在设计阶段就采用了判 定表，也就不必再画因果图， 定表，也就不必再画因果图，而是可以直 接利用判定表设计测试用例了。 接利用判定表设计测试用例了。
4
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
条件的约束 • 输入条件的约束
a R b 输出条件的约束 a M b M约束（强制）：若a是1时，则结果 强制为 。 约束（强制）：若 是 时 则结果b强制为 强制为0。 约束 ）： R约束（要求）： 是1时，b必须是 ， 约束（要求）：a是 时 必须是1， 约束 ）： 必须是 即不可能a是 时 是 。 即不可能 是1时b是0。
7
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
例子 原因和结果： 原因和结果：
原因： 原因： 1----第一列字符是 ； 第一列字符是A； 第一列字符是 2----第一列字符是 ； 第一列字符是B； 第一列字符是 3----第二列字符是一数字； 第二列字符是一数字； 第二列字符是一数字 结果： 结果：
14
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
规则及规则和并 • 任何一个条件组合的特定取值及其相应要 执行的操作成为规则， 执行的操作成为规则，在判定表中贯穿条 件项和动作项的一列就是一条规则。显然， 件项和动作项的一列就是一条规则。显然， 判定表中泪出多少组条件取值， 判定表中泪出多少组条件取值，也就有多 少条规则，即条件项和动作项由多少列。 少条规则，即条件项和动作项由多少列。 • 化简 就是规则和并 Y Y Y Y Y Y N N N -- N -• 有两条活多条规则具有相同的动作，并且 有两条活多条规则具有相同的动作， -N Y N N N 其条件项之间存在着极为相似的关系。 其条件项之间存在着极为相似的关系。