正文

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

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


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


微信图片_20221014073519.png


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

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

  • 状态覆盖

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

  • 转移覆盖

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

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

微信图片_20221014073548.png


UML

微信图片_20221014073604.png

流程图

微信图片_20221014073625.png


依赖图

微信图片_20221014073642.png

三、工具

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

微信图片_20221014073659.png

真正的成长, 源于内心的觉醒和不懈的努力, 你的信念和行动, 将铺就通往更好的自己的道路
-- 展开阅读全文 --