![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
MBT
MBT
BugBear1989
这个作者很懒,什么都没留下…
展开
-
基于模型的自动化测试工具GraphWalker(一):基本原理
原理1、测试模型 一个测试模型是有向图表示的FSM或者EFSM模型,由箭头和节点组成,如图所示。 一个箭头,代表了一次测试动作; 一个节点,代表一次测试验证。2、测试需求选择Test requirements selection目的:指导测试用例生成器( test generation)如何生成用例。测试需求选择包含3方面: 1)模型中的目标(结束条件) 2)覆盖...转载 2019-07-22 10:00:37 · 1639 阅读 · 0 评论 -
什么是基于模型的测试?
基于模型的测试属于软件测试领域的一种测试方法。MBT步骤如下:常规测试一般是由人来设计几个特定的测试场景,然后断言测试结果。测试用例固定。缺少不确定性。基于模型的测试(Model-based Testing)是需要实现一个模型,然后制定行为和行为之间的关系以及行为和系统的关系(有限状态机),然后测试系统根据被测系统的状态、之前设置的限制条件和策略来生成很多用例(每执行一次生成的用例会不同...转载 2019-07-22 10:09:47 · 1779 阅读 · 0 评论 -
基于模型的自动化测试工具GraphWalker(二):使用介绍
5.工具使用介绍5.1 GraphWalker用途GraphWalker提供3种工作方式:5.1.1作为第三方库,可被java测试程序直接调用MBT中测试设计的目的是描述被测系统的预期行为。设计的结果看起来像一个具有许多边(也就是箭头,弧或过渡)和顶点(又称节点或状态)的模型,以及它们如何相互作用。模型会提醒您流行的测试状态转换图或有限状态图。边表示与SUT的动作,顶点表示应该测试的S...转载 2019-07-22 10:16:48 · 1413 阅读 · 0 评论 -
基于模型的自动化测试工具GraphWalker(三):应用案例
8.工具应用案例8.1 案例概述8.1.1 概要GraphWalker是一个基于测试模型的用例生成工具。它主要应用于FSM, EFSM模型。可以用来它可以直接读取FSM, EFSM图形模型、json模型,生成测试用例。本案例中使用graphwalker对一个仿天猫网站的J2EE项目进行建模与测试。8.1.2 仿天猫网站项目详情:要在网上找一个J2EE项目是很容易的,随便在百度或者gi...转载 2019-07-22 10:31:03 · 1513 阅读 · 0 评论