软件测试52讲-用机器设计测试用例：基于模型的测试

MBT 的基本原理是通过建立被测系统的设计模型，然后结合不同的算法和策略来遍历该模型，以此生成测试用例的设计。
执行 MBT 的过程就好比你把软件系统的设计画为了一张由节点和边构成的数据结构意义上的“图”，然后通过一定的算法（比如，深度遍历或者广度遍历）来尽可能完整覆盖图中全部的可能路径的过程。
常用的模型主要有限状态机、状态图，以及 UML 三种。
常见的 MBT 工具，包括：BPM-X、fMBT、GraphWalker

评论：

理论不错，落地困难。