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

基于模型的测试，即 Model-Based-Testing，简称 MBT。

MBT，是自动化测试的一个分支。它是将测试用例的设计依托于被测系统的模型，并基于该模型自动生成测试用例的技术。其中，这个被测系统的模型表示了被测系统行为的预期，也可以说是代表了我们对被测系统的预期。

MBT 的基本原理

MBT 的基本原理是通过建立被测系统的设计模型，然后结合不同的算法和策略来遍历该模型，以此生成测试用例的设计。

开发者首先根据产品需求或者说明来构建模型，然后结合测试对象生成测试用例，测试用例针对测试对象执行完之后，生成测试报告比对测试结果。

接下来，我以简单的登录系统为例，和你说明如何建模。

当用户访问网站时，网站需要识别用户是否已经登录：

• 如果已经是登录状态，则让用户进入，结束这一分支；

• 如果用户还没有登录，那么页面需要返回登录框给用户。用户在登录框输入用户名和密码后，由后台服务验证用户名和密码是否正确，如果通过验证，则用户登录成功，结束分支；否则，返回错误信息，并再次返回登录框供用户登录。根据这个逻辑，我们可以建模如下：

常用模型简介

常用的模型主要有限状态机、状态图，以及 UML 三种。有限状态机和状态图比较适合于用状态或者事件驱动的系统，而 UML 比较适合于靠业务流程驱动的系统。

MBT 工具简介

BPM-X、fMBT、GraphWalker、GSL、JSXM、MaTeLo、MBT Suite

MBT 的优势

MBT 的劣势

---

来源于 极客时间 茹炳晟 软件测试52讲