正文

基于模型的测试 Notes on Model-Based Testing（MBT）

Rae
Rae V管理员 /542阅读/0评论
1014
此篇文章发布距今已超过974天，您需要注意文章的内容或图片是否可用！
最常见的基于模型的测试方法包括有限状态机、决策结构或者语法分析，我们也可以将这些方法应用到其他模型。


一、有限状态机（FSM）
有限状态机是一种常见的模型，表示有限个状态以及在这些状态之间的转移和动作等行为的模型。
最简单的登录功能也可以表示成有限状态机：


微信图片_20221014073519.png


登录功能包含了登录、登出两个状态，且两个状态互相之间可以转移。

有限状态机的覆盖率指标：

  • 状态覆盖

模型中的每个状态至少达到过一次

  • 转移覆盖

状态之间的每个转移至少实现过一次

二、其他常见模型
规格文档可以结构化为决策表，决策树或者流程图。
状态图

微信图片_20221014073548.png


UML

微信图片_20221014073604.png

流程图

微信图片_20221014073625.png


依赖图

微信图片_20221014073642.png

三、工具

Altwalker，一个开源的基于模型的测试框架，用于自动化测试执行。你可以将测试用例设计为有向图，AltWalker 会根据图形创建测试流程并执行它们。官方地址：https://altom.com/testing-tools/altwalker/ 

微信图片_20221014073659.png

职场就是一场游戏，但游戏不是人生的全部。别太纠结眼前的得失，也别总被焦虑绑住。努力让自己积累更多底气吧，未来的你一定会感谢现在的自己。因为那个时候，你会发现，人生的主动权，终于掌握在自己手里了。
-- 展开阅读全文 --