软件测试-因果图
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
16
(3) 由于语法或环境限制，有些原因 与原因之间，原因与结果之间的组 合情况不可能出现。为表明这些特 殊情况，在因果图上用一些记号标 明约束或限制条件。 (4) 把因果图转换成判定表。 (5) 把判定表的每一列拿出来作为依 据，设计测试用例。
17
• 某个软件的规格说明书中规定: 第一个字4 符应必用须举是例A或B,第二个 字符必须是一个数字字符,在此 情况下进行文件的修改,但如果 第一个字符不正确,则给出wenku.baidu.com息L; 如果第二个字符不正确,则给出 信息M.
(1) 分析这一段说明，列出原因和结果 原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 按下橙汁按钮 5. 按下啤酒按钮
建立中间结点，表示处理中间状态 11. 投入1元硬币且按下饮料按钮 12. 按下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清
• 结果:
– E1:给出信息L; – E2:修改文件; – E3:给出信息M;
20
中间结果
C1
因果图 ~ E 1
∨ 10
C2
∧
E2
C3
E3
~
21
带有C 1 E约束的因果~图 E 1
E
∨ 10
C2
∧
E2
C3
E3
~
22
将因果图转化为判定表
123 4 5 6 7 8
C1 1 1 1 1 0 0 0 0
C2 1 1 0 0 1 1 0 0
C3 1 0 1 0 1 0 1 0
10
1 11 10 0
E1
√
√
E2
√√
E3
√
√
√
不可 能
√
√
测试 用例
A3 AM B3 BM C2 C A5 A& B5 B* X6 M
D23*
设计测试用例
• 测试用例1: 输入数据:A3 预期输出:修改文件 • 测试用例2: 输入数据:AM 预期输出:给出信息M • 测试用例3: 输入数据:B3 预期输出:修改文件 • 测试用例4: 输入数据:B* 预期输出:给出信息M • 测试用例5: 输入数据:C2 预期输出:给出信息L • 测试用例6: 输入数据:CM 预期输出:给出信息LM
24
• 程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须 是一个数字，在此情况下进行文件的修改；如果第一个字符不是#或*，
练习 则给出信息N，如果第二个字符不是数字，则给出信息M。
• 用因果图法设计测试用例
25
练习2
• 例如，有一个处理单价为5角钱的饮 料的自动售货机软件测试用例的设 计。其规格说明如下：
4
• 如果输入之间有关系，我们在测试时必须考虑输入条件的各种组合，那 么可以考虑使用一种适合于描述对于多种条件的组合，相应产生多个动 作的形式来设计测试用例，这就需要利用因果图。
• 因果图1方、法因最果终图生法成概的述就是判定表。
它适合于检查程序输入条件的各种 组合情况。
5
–使用因果图法设计测试用例时，
• 若投入5角钱或1元钱的硬币，按下 〖橙汁〗或〖啤酒〗的按钮，则相 应的饮料就送出来。若售货机没有 零钱找，则一个显示〖零钱找完〗 的红灯亮，这时在投入1元硬币并按 下按钮后，饮料不送出来而且1元硬 币也退出来；若有零钱找，则显示 〖零钱找完〗的红灯灭，在送出饮 料的同时退还5角硬币。”
26
4.因果图法
首因先果从图程序法规的格基说本明思书想的描述中,
找出因(输入条件)和果(输出结果 或者程序状态的改变),然后通过 因果图转换为判定表,最后为判定 表中的每一列设计一个测试用例.
6
原因
结果
2 因果图中出现的基本符号
通常在因果图中用Ci表示原因，用Ei 表示结果，各结点表示状态，可取值 “0”或“1”。“0”表示某状态不出现， “1”表示某状态出现。
黑盒测试—因果图方法10
1
• 复习 • 因果图法的思想 • 因果图法的步骤 • 举例 • 练习
内容提纲
2
• 等价类划分法的思想 • 边界值分析法的思想
复习
3
–等价类划分方法和边界值分析方
法着1重、考因虑果输图入法条概件述，而不考虑
输入条件的各种组合，也不考虑 输入条件之间的相互制约的关系， 但有时一些具体问题中的输入之 间存在着相互依赖的关系，
27
结果：
214..售因货果机图〖法零钱找完〗灯亮
22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料
28
(2) 画出因果图。所有原因结点列在左边，所有结果结点列在右边。
29
(3) 由于 2 与 3 ，4 与 5 不能同时发生， 分别加上约束条件E。
7
• 主要的原因和结果之间的关系有:
C1 C1 C2
8
因果图法
• 恒等: 若c1为1,则e1也为1,否则e1 为0.
• 非: 若c1是1,则e1为0,否则e1是1. • 或: 若c1或c2或c3是1,则e1是1,若
三者都不为1,则e1为0. • 与: 若c1和c2都是1,则e1为1,否则
若有其中一个不为1,则e1为0.
18
• 分析问题,按照如下步骤进行:
– (结1果)根.据软应件用规举格说例明书,列出原因和
– (2)找出原因和结果之间的关系,原因 和原因之间的约束关系,画出因果图.
– (3)将因果图转化为判定表 – (4)根据判定表设计测试用例.
19
• 原因:
– C1:第一个应字用符举是A例;
– C2:第一个字符是B; – C3:第二个字符是一个数字字符.
12
• O约束(惟一): a和b必须有一个且仅 有一个为1
13
• R约束(要求):a是1时,b必须是1,即a 为1时,b不能为0
14
• M约束:对输出条件的约束,若结果a 为1,则结果b必须为0.
15
• 3用因果图生成测试用例的基本步骤 –(1) 分析软件规格说明描述中，哪些 是原因 (即输入条件或输入条件的等 价类)，哪些是结果 (即输出条件)， 并给每个原因和结果赋予一个标识 符。 (2) 分析软件规格说明描述中的语义， 找出原因与结果之间，原因与原因 之间对应的是什么关系? 根据这些 关系，画出因果图。
9
• 实际问题中,输入状态之间可能 存在某些因依果赖图关法系,这种依赖关 系被称为”约束”.
• 在因果图中使用特定的符号来表 示这些约束关系:
10
• 约束关系说明:
–E约束(异): a,b最多有一个可能 为1,不能同时为1.
11
• I约束(或): a,b,c中至少有一个必 须为1,不能同时为0.
(3) 由于语法或环境限制，有些原因 与原因之间，原因与结果之间的组 合情况不可能出现。为表明这些特 殊情况，在因果图上用一些记号标 明约束或限制条件。 (4) 把因果图转换成判定表。 (5) 把判定表的每一列拿出来作为依 据，设计测试用例。
17
• 某个软件的规格说明书中规定: 第一个字4 符应必用须举是例A或B,第二个 字符必须是一个数字字符,在此 情况下进行文件的修改,但如果 第一个字符不正确,则给出wenku.baidu.com息L; 如果第二个字符不正确,则给出 信息M.
(1) 分析这一段说明，列出原因和结果 原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 按下橙汁按钮 5. 按下啤酒按钮
建立中间结点，表示处理中间状态 11. 投入1元硬币且按下饮料按钮 12. 按下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清
• 结果:
– E1:给出信息L; – E2:修改文件; – E3:给出信息M;
20
中间结果
C1
因果图 ~ E 1
∨ 10
C2
∧
E2
C3
E3
~
21
带有C 1 E约束的因果~图 E 1
E
∨ 10
C2
∧
E2
C3
E3
~
22
将因果图转化为判定表
123 4 5 6 7 8
C1 1 1 1 1 0 0 0 0
C2 1 1 0 0 1 1 0 0
C3 1 0 1 0 1 0 1 0
10
1 11 10 0
E1
√
√
E2
√√
E3
√
√
√
不可 能
√
√
测试 用例
A3 AM B3 BM C2 C A5 A& B5 B* X6 M
D23*
设计测试用例
• 测试用例1: 输入数据:A3 预期输出:修改文件 • 测试用例2: 输入数据:AM 预期输出:给出信息M • 测试用例3: 输入数据:B3 预期输出:修改文件 • 测试用例4: 输入数据:B* 预期输出:给出信息M • 测试用例5: 输入数据:C2 预期输出:给出信息L • 测试用例6: 输入数据:CM 预期输出:给出信息LM
24
• 程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须 是一个数字，在此情况下进行文件的修改；如果第一个字符不是#或*，
练习 则给出信息N，如果第二个字符不是数字，则给出信息M。
• 用因果图法设计测试用例
25
练习2
• 例如，有一个处理单价为5角钱的饮 料的自动售货机软件测试用例的设 计。其规格说明如下：
4
• 如果输入之间有关系，我们在测试时必须考虑输入条件的各种组合，那 么可以考虑使用一种适合于描述对于多种条件的组合，相应产生多个动 作的形式来设计测试用例，这就需要利用因果图。
• 因果图1方、法因最果终图生法成概的述就是判定表。
它适合于检查程序输入条件的各种 组合情况。
5
–使用因果图法设计测试用例时，
• 若投入5角钱或1元钱的硬币，按下 〖橙汁〗或〖啤酒〗的按钮，则相 应的饮料就送出来。若售货机没有 零钱找，则一个显示〖零钱找完〗 的红灯亮，这时在投入1元硬币并按 下按钮后，饮料不送出来而且1元硬 币也退出来；若有零钱找，则显示 〖零钱找完〗的红灯灭，在送出饮 料的同时退还5角硬币。”
26
4.因果图法
首因先果从图程序法规的格基说本明思书想的描述中,
找出因(输入条件)和果(输出结果 或者程序状态的改变),然后通过 因果图转换为判定表,最后为判定 表中的每一列设计一个测试用例.
6
原因
结果
2 因果图中出现的基本符号
通常在因果图中用Ci表示原因，用Ei 表示结果，各结点表示状态，可取值 “0”或“1”。“0”表示某状态不出现， “1”表示某状态出现。
黑盒测试—因果图方法10
1
• 复习 • 因果图法的思想 • 因果图法的步骤 • 举例 • 练习
内容提纲
2
• 等价类划分法的思想 • 边界值分析法的思想
复习
3
–等价类划分方法和边界值分析方
法着1重、考因虑果输图入法条概件述，而不考虑
输入条件的各种组合，也不考虑 输入条件之间的相互制约的关系， 但有时一些具体问题中的输入之 间存在着相互依赖的关系，
27
结果：
214..售因货果机图〖法零钱找完〗灯亮
22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料
28
(2) 画出因果图。所有原因结点列在左边，所有结果结点列在右边。
29
(3) 由于 2 与 3 ，4 与 5 不能同时发生， 分别加上约束条件E。
7
• 主要的原因和结果之间的关系有:
C1 C1 C2
8
因果图法
• 恒等: 若c1为1,则e1也为1,否则e1 为0.
• 非: 若c1是1,则e1为0,否则e1是1. • 或: 若c1或c2或c3是1,则e1是1,若
三者都不为1,则e1为0. • 与: 若c1和c2都是1,则e1为1,否则
若有其中一个不为1,则e1为0.
18
• 分析问题,按照如下步骤进行:
– (结1果)根.据软应件用规举格说例明书,列出原因和
– (2)找出原因和结果之间的关系,原因 和原因之间的约束关系,画出因果图.
– (3)将因果图转化为判定表 – (4)根据判定表设计测试用例.
19
• 原因:
– C1:第一个应字用符举是A例;
– C2:第一个字符是B; – C3:第二个字符是一个数字字符.
12
• O约束(惟一): a和b必须有一个且仅 有一个为1
13
• R约束(要求):a是1时,b必须是1,即a 为1时,b不能为0
14
• M约束:对输出条件的约束,若结果a 为1,则结果b必须为0.
15
• 3用因果图生成测试用例的基本步骤 –(1) 分析软件规格说明描述中，哪些 是原因 (即输入条件或输入条件的等 价类)，哪些是结果 (即输出条件)， 并给每个原因和结果赋予一个标识 符。 (2) 分析软件规格说明描述中的语义， 找出原因与结果之间，原因与原因 之间对应的是什么关系? 根据这些 关系，画出因果图。
9
• 实际问题中,输入状态之间可能 存在某些因依果赖图关法系,这种依赖关 系被称为”约束”.
• 在因果图中使用特定的符号来表 示这些约束关系:
10
• 约束关系说明:
–E约束(异): a,b最多有一个可能 为1,不能同时为1.
11
• I约束(或): a,b,c中至少有一个必 须为1,不能同时为0.