软件测试用例经典方法 | 因果图法及案例

简介: 典型的黑盒测试用例设计方法包括等价类划分法、边界值分析法、决策表法、因果图法等。如果程序的输入条件之间相互存在联系,那么就会使情况变得复杂,因为要检查输入条件的组合情况并不是一件容易的事情,即使把所有输入条件划分为等价类,它们之间的组合情况也相当多,难以分析。因此,必须考虑采用因果图法,这种方法可以针对多种条件组合、产生多个动作的情况来设计测试用例。

640.jpg


# 01、因果图的画法

因果图法是一种黑盒测试方法,它能够帮助人们按照一定的步骤高效地选择测试用例,同时还能指出需求规格说明书中存在的不完整性和二义性。

1. 输入条件与输出结果之间的因果关系

如图1描述了输入条件与输出结果间的关系,即“因果关系”。这种关系共有4种:恒等、非、或、与。

恒等: 若原因出现,则结果出现;若原因不出现,则结果也不出现。例如,若a=1,b=1;若a=0,则b=0。

非:若原因出现,则结果不出现;若原因不出现,则结果出现。例如,若a=1,则b=0;若a=0,则b=1。

或: 若几个原因中有一个出现,则结果出现;若几个原因都不出现,则结果不出现。例如,若a=1或b=1或c=1,则d=1;若a=b=c=0,则d=0。

与:若几个原因都出现,结果才出现;若其中有一个原因不出现,则结果不出现。例如,若a=b=c=1,则d=1;若a=0或b=0或c=0,则d=0。

640.png


■ 图1 因果图逻辑符号

2.输入或输出的约束关系
如图2 所示,输入状态之间还可能存在某些依赖关系,或输出结果之间相互制约,这被称为约束。其所描述的这种制约关系一般可被分为 5 类:互斥、包含、唯一、要求和屏蔽。其中,输入条件的约束有以下4类。

640.png


■ 图2 因果图的约束符号

互斥(E): 表示a、b、c这3个原因不会同时成立,最多有一个可能成立。

包含(I): 表示a、b、c这3个原因中至少有一个必须成立。

唯一(O): 表示a、b、c中必须有一个成立,且仅有一个成立。

要求(R): 表示当a出现时,b必须也出现。例如,若a=1,则b必须为1。

而其中的输出条件约束类型只有1种,即屏蔽(M):若a=1,则b必须为0;而当a=0时,b的值不定。

  1. 因果图法设计测试用例的步骤

(1) 分析在程序规格说明的描述中哪些是原因,哪些是结果,并给每个原因和结果赋予一个标识符。原因常常是输入条件或是输入条件的等价类,而结果则是输出条件。

(2) 分析在程序规格说明的描述中语义的内容,并将其表示成连接各个原因与各个结果的“因果图”。

(3) 标明约束条件。由于语法或环境的限制,有些原因和结果的组合情况是不可能出现的。为表明这些特定的情况,可在因果图上使用若干个标准的符号标明约束或限制条件。

(4) 把因果图转换成决策表。

(5) 把决策表中每一列拿出来作为依据,设计测试用例。

因果图生成的测试用例(局部,组合关系下的)包括了所有输入数据的取True与取False的情况,其构成的测试用例数目达到最少,且测试用例数目随输入数据数目的增加而增加。在较为复杂的问题中,这个方法常常十分有效,它能有力地帮助测试者确定测试用例。当然,如果开发项目在设计阶段就采用了决策表,那么也就不必再画因果图了,此时可以直接利用决策表设计测试用例。

02、因果图法的测试用例

图3所示的是交通一卡通自动充值模拟系统,其需求描述如下。

(1) 系统只接收50元或100元纸币,一次充值只能使用一张纸币,一次充值金额只能为50元或100元。

(2) 若输入50元纸币,并选择充值50元,完成充值后退卡,提示充值成功。

(3) 若输入50元纸币,并选择充值100元,提示输入金额不足,并退回50元。

(4) 若输入100元纸币,并选择充值50元,完成充值后退卡,提示充值成功,找零50元。

(5) 若输入100元纸币,并选择充值100元,完成充值后退卡,提示充值成功。

(6) 若输入纸币在规定时间内不选择充值按钮,退回输入的纸币,并提示错误。

(7) 若选择充值按钮后不输入纸币,提示错误。

image.png


■ 图3 交通一卡通自动充值模拟系统

下面给出交通一卡通自动充值系统的测试用例设计过程。

1) 条件之间的制约及组合关系

根据上述描述,输入条件(原因)如下。

(1) 投币50元(1)。

(2) 投币100元(2)。

(3) 选择充值50元(3)。

(4) 选择充值100元(4)。

输出(结果)如下。

(1) 完成充值、退卡(a)。

(2) 提示充值成功(b)。

(3) 找零(c)。

(4) 提示错误(d)。

2) 明确所有条件之间的制约关系及组合关系

条件之间的制约关系及组合关系如图4所示。

640.png


■ 图4 条件之间的约束关系

3) 画出因果图

为了描述得更清楚,这里将每种情况单独画一个因果图说明。

(1) 条件1和条件3可以组合,输出a和b的组合,也就是投币50元,充值50元,会输出完成充值、退卡,提示充值成功的结果。其因果图如图5所示。

640.png


■ 图6 条件1和条件3的组合

(2) 条件1和条件4可以组合,输出c和d的组合,也就是投币50元,充值100元,会输出找零、提示错误的结果。其因果关系如图7所示。

640.png


■ 图7 条件1和条件4的组合

(3) 条件2和条件3可以组合,输出a、b、c的组合,也就是投币100元,充值50元,会输出找零、完成充值、提示充值成功的结果。其因果图如图8所示。

640.png


■ 图9 条件2和条件3的组合

(4) 条件2和条件4可以组合,输出a和b的组合,也就是投币100元,充值100元,会输出完成充值、退卡,提示充值成功的结果。其因果图如图10所示。

640.png


■ 图10 条件2和条件4的组合

(5) 条件1、2、3、4均可以单独出现,其因果图如图11所示。

640.png


■ 图11 各条件单独出现

4) 根据因果图写出决策表

根据上面的因果图,写出对应的决策表,如表1所示。

■ 表1 决策表


640.png


5) 根据决策表写出测试用例

根据上面的决策表,写出对应的测试用例,如表2所示。

■ 表2 交通一卡通自动充值模拟系统测试用例


640.png

目录
相关文章
|
1月前
|
测试技术 开发者 Python
Python单元测试入门:3个核心断言方法,帮你快速定位代码bug
本文介绍Python单元测试基础,详解`unittest`框架中的三大核心断言方法:`assertEqual`验证值相等,`assertTrue`和`assertFalse`判断条件真假。通过实例演示其用法,帮助开发者自动化检测代码逻辑,提升测试效率与可靠性。
191 1
|
1月前
|
机器学习/深度学习 人工智能 自然语言处理
如何让AI更“聪明”?VLM模型的优化策略与测试方法全解析​
本文系统解析视觉语言模型(VLM)的核心机制、推理优化、评测方法与挑战。涵盖多模态对齐、KV Cache优化、性能测试及主流基准,助你全面掌握VLM技术前沿。建议点赞收藏,深入学习。
389 8
|
4月前
|
测试技术 Python
Python测试报告生成:整合错误截图,重复用例执行策略,调整测试顺序及多断言机制。
如何组织这一切呢?你可以写一本名为“Python测试之道”的动作指南手册,或者创建一个包含测试策略、测试顺序、多断言机制的脚本库。只要你的测试剧本编写得足够独到,你的框架就会像一位执行任务的超级英雄,将任何潜伏于代码深处的错误无情地揪出来展现在光天化日之下。这些整理好的测试结果,不仅有利于团队协作,更像冒险故事中的精彩篇章,带给读者无尽的探索乐趣和深刻的思考。
121 10
|
4月前
|
测试技术
软考软件评测师——可靠性测试测试方法
软件可靠性是指软件在规定条件和时间内完成预定功能的能力,受运行环境、软件规模、内部结构、开发方法及可靠性投入等因素影响。失效概率指软件运行中出现失效的可能性,可靠度为不发生失效的概率,平均无失效时间(MTTF)体现软件可靠程度。案例分析显示,嵌入式软件需满足高可靠性要求,如机载软件的可靠度需达99.99%以上,通过定量指标评估其是否达标。
|
4月前
|
消息中间件 缓存 监控
性能测试怎么做?方法、流程与核心要点解析
本文系统阐述了性能测试的核心方法论、实施流程、问题定位优化及报告编写规范。涵盖五大测试类型(负载验证、极限压力、基准比对、持续稳定性、弹性扩展)与七项关键指标,详解各阶段任务如需求分析、场景设计和环境搭建,并提供常见瓶颈识别与优化实战案例。最后规范测试报告内容框架与数据可视化建议,为企业级实践提出建立基线库、自动化回归和全链路压测体系等建议,助力高效开展性能测试工作。
|
8月前
|
编解码 缓存 Prometheus
「ximagine」业余爱好者的非专业显示器测试流程规范,同时也是本账号输出内容的数据来源!如何测试显示器?荒岛整理总结出多种测试方法和注意事项,以及粗浅的原理解析!
本期内容为「ximagine」频道《显示器测试流程》的规范及标准,我们主要使用Calman、DisplayCAL、i1Profiler等软件及CA410、Spyder X、i1Pro 2等设备,是我们目前制作内容数据的重要来源,我们深知所做的仍是比较表面的活儿,和工程师、科研人员相比有着不小的差距,测试并不复杂,但是相当繁琐,收集整理测试无不花费大量时间精力,内容不完善或者有错误的地方,希望大佬指出我们好改进!
540 16
「ximagine」业余爱好者的非专业显示器测试流程规范,同时也是本账号输出内容的数据来源!如何测试显示器?荒岛整理总结出多种测试方法和注意事项,以及粗浅的原理解析!
|
8月前
|
人工智能 自然语言处理 测试技术
AxBench:斯坦福大学推出评估语言模型控制方法的基准测试框架
AxBench 是由斯坦福大学推出,用于评估语言模型可解释性方法的基准测试框架,支持概念检测和模型转向任务,帮助研究者系统地比较不同控制技术的有效性。
185 5
AxBench:斯坦福大学推出评估语言模型控制方法的基准测试框架
|
4月前
|
Java 测试技术 容器
Jmeter工具使用:HTTP接口性能测试实战
希望这篇文章能够帮助你初步理解如何使用JMeter进行HTTP接口性能测试,有兴趣的话,你可以研究更多关于JMeter的内容。记住,只有理解并掌握了这些工具,你才能充分利用它们发挥其应有的价值。+
811 23
|
9月前
|
数据可视化 前端开发 测试技术
接口测试新选择:Postman替代方案全解析
在软件开发中,接口测试工具至关重要。Postman长期占据主导地位,但随着国产工具的崛起,越来越多开发者转向更适合中国市场的替代方案——Apifox。它不仅支持中英文切换、完全免费不限人数,还具备强大的可视化操作、自动生成文档和API调试功能,极大简化了开发流程。

热门文章

最新文章