47 | 用机器设计测试用例：基于模型的测试

茹炳晟

你好，我是茹炳晟。今天我和你分享的主题是：用机器设计测试用例之基于模型的测试”。
我在前面 4 篇文章中，和你分享的探索式测试、测试驱动开发 TDD、精准测试，以及渗透测试的内容，你是否已经掌握了呢？有没有尝试将这些比较新的理念用到你的工程项目中呢？如果你在应用的过程中，遇到了任何问题，也欢迎给我留言一起讨论。
那么，现在我们就正式开始测试新技术系列的最后一个话题：基于模型的测试。
可以说，软件测试是一款软件产品质量的最后一道防线，是产品上线前必不可少、最重要的一个环节。每一款高质量的软件产品背后，都蕴含了大量的测试工作。而且，这些测试工作很可能是整个软件开发过程中最昂贵、劳动最密集的工作。
虽说从最简单的功能性黑盒测试，到涉及定理证明的复杂测试，已经有很多种方法可以帮助我们提高测试的可靠性和有效性。但是，在设计测试用例的过程中，总还是存在着这样那样的问题，使得软件测试的结果没那么理想。
为此，我们新引入了基于模型的测试，即 Model-Based-Testing，简称 MBT。
MBT，是自动化测试的一个分支。它是将测试用例的设计依托于被测系统的模型，并基于该模型自动生成测试用例的技术。其中，这个被测系统的模型表示了被测系统行为的预期，也可以说是代表了我们对被测系统的预期。

公开

同步至部落

取消

完成

0/2000

荧光笔

直线

曲线

笔记

复制

AI

深入了解
翻译
英语
中文简体
中文繁体
法语
德语
日语
韩语
俄语
西班牙语
阿拉伯语
解释
总结

仅可试看部分内容，如需阅读全部内容，请付费购买文章所属专栏
《软件测试 52 讲》，新⼈⾸单¥68

立即购买

登录后留言

全部留言(20)

最新
精选

鱼贯而过
我们研究生时期常做模型检测，将模型检测认为是不同于软件测试的一种方法。再扩大一些，模型检测属于形式化方法的一种，确实是门槛高，成本高，只有关系生命的大型软件，比如飞机上的关键软件，才需要形式化方法

7
Agori
有用过UML建模，只是为了梳理逻辑，利于编写测试用例

2
18101888516
能不能举例一两个已经实施成功案例供借鉴呢？

1
王盛武
类似于BPM

1
小老鼠
对于unhappy的路径，MBT会涉及到吗？

1
红娟
脑洞大开，第一次听说MBT概念

1
꧁༺Eve Pan༻꧂
第一次接触MBT概念，以往项目有画过uml业务流，用于测试用例，但是从来没有用过具体的MBT工具。

1
朝如青丝暮成雪
这些软件使用起来非常的不便，感觉无从下手

1
付晓杰
MBT模型主要有限状态机、状态图，以及 UML 三种. MBT 工具，包括：BPM-X、fMBT、GraphWalker.
归属地：上海


Geek_da7f5e
感谢老师，这几讲测试新技术确实拓展了自己的视野和思路，给了自己一些新的思考。虽然这些新的测试模式、理念或是技术暂时还未得到广泛应用，但相信在不久的将来会得到应用。



收起评论