正文

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

Rae
Rae V管理员 /0 评论 /96 阅读
1014
最常见的基于模型的测试方法包括有限状态机、决策结构或者语法分析，我们也可以将这些方法应用到其他模型。


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


微信图片_20221014073519.png


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

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

  • 状态覆盖

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

  • 转移覆盖

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

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

微信图片_20221014073548.png


UML

微信图片_20221014073604.png

流程图

微信图片_20221014073625.png


依赖图

微信图片_20221014073642.png

三、工具

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

微信图片_20221014073659.png

对于你喜欢的事想去做的事,你必须付出百分之一千的努力你知道这一路可能会有很多困难，会有坚持不下去想要放弃的时候也有时候，你不一定会得到你想要的结果,但你—定要相信。
-- 展开阅读全文 --