【腾讯TMQ】基于模型的自动化测试工具——GraphWalker_tmq工具-程序员宅基地
一、概述
GraphWalker就是一个基于测试模型的用例生成工具。它主要应用于FSM, EFSM模型。可以用来它可以直接读取FSM, EFSM图形模型、json模型、生成测试用例。
二、背景知识
要了解GraphWalker首先要了解MBT是什么。
MBT中文名称为基于模型的测试, 基于模型的测试属于软件测试领域的一种测试方法。MBT步骤如下：首先由被测系统（SUT， system under test ）的一些（通常是功能）方面描述，构建出被测系统的模型。再根据模型或模型中的一部分部分生成测试用例。进而进行软件测试。
2.1 模型(Model)
模型的目的就是用来为构造测试用例而进行的被测系统描述。
在构造模型的这个阶段就可以已经发现许多问题。
模型的关键：
高度抽象
模型还包括被测系统的预期输出。
两个主要方面：
设计模型
测试模型
MBT中模型通常有下列几种：
前置后置条件模型: Pre and post condition models (State based, OCL)
基于转换的模型: Transition based models (FSM, EFSM)
随机模型：Stochastic models (Markov chains)
数据流模型: Data-flowmodels(Lustre)
模型验证：
语法
行为
FSM举例：
一个测试模型可以由箭头和节点组成如下图所示。
一个箭头，代表了一次测试动作；
一个节点，代表一次测试验证。
2.2 测试需求选择
Test requirements selection
目的：
指导测试用例生成器（ test generation）如何生成用例。
测试需求选择包含3方面：
模型中的目标（结束条件）
覆盖准则（路径生成准则）
状态覆盖
转换覆盖
- 行走算法
随机行走
覆盖引导
2.3 测试用例生成
Test generation
按模型及测试需求选择来生成测试用例。GraphWalker就是完成这部分工作的一个开源的java工具。
2.4 测试具体化
Test concretization
从测试套件到可执行级别，可以自己实现插件完成这部分功能。将测试用例转化成可执行脚本。
2.5 执行测试
Test execution
执行测试，并比较预期结果。
三、GraphWalker能做什么
GraphWalker就是一个基于测试模型的用例生成工具，完成上图中Test generation的工作。给出一个测试模型及测试需求选择，GraphWalker能生成相应测试路径。由这个测试路径，可以用来执行你的测试脚本。它主要应用于FSM, EFSM模型。可以用来它可以直接读取FSM, EFSM图形模型、json模型、生成测试用例。
四、通过GraphWalker建模
模型的目的是表达被测系统的预期行为。为此，我们使用有向图，其中顶点（或节点）表示一些期望的状态，并且边（弧，箭头，过渡）表示为了实现期望的状态需要做的任何动作。
例如，让我们来看一个需要验证的网站，然后才能访问网站内容。使用有向图设计测试可能如下所示：
4.1 顶点(Vertex)
顶点表示我们想要检查的预期状态。在任何实现代码/测试中，你可以通过断言或者数据校验改结果。
一个顶点称为节点，通常表示为一个框。
GraphWalker不在乎顶点的颜色或形状。
4.2 边(Edge)
表示从一个顶点到另一个顶点的方法。这是为了达到下一个状态需要做的任何动作。它可以选择一些菜单选项，单击按钮等测试动作。
GraphWalker只接受单向有向边（箭头）。
GraphWalker不关心边有什么颜色或宽度。
4.3 建模规则
Start顶点
start顶点不是必需的。
如果使用，则必须有1个（且只有1个）顶点名称为：start.
从start顶点出发只能有1个边。
start顶点不会包括在任何生成的测试路径中，它只表示一个开始位。
顶点或边的名字(name)
名称是第一个单词，位于标签中边或顶点的第一行。
标签(Lable)
标签是点或边上的所有文字描述。
守卫(Guards)仅用于Edge
守卫guard是一种只与边相关的机制。他们的角色与if语句相同，并且使边有资格或者没有资格被访问。
守卫guard是一个用方括号括起来的JavaScript条件表达式只有一个。
[loggedIn == true]
上面意味着如果属性loggedIn等于true，则边是可访问的。
操作(Action)仅用于Edge
动作是仅与边相关联的机制。这是我们要在模型中执行的JavaScript代码。它放在正斜杠之后。Action可以有多个，每个语句必须以分号结尾。
/loggedIn=false; rememberMe=true;
action是动作代码，它的执行结果将作为数据传递给守卫。
示例：
此示例说明Action和Guard如何工作。
让我们从Start顶点开始：
e_Init/validLogin=false;rememberMe=false;
边缘的名称是e_Init，后跟一个正斜杠，表示从该点开始直到行尾的文本是[action]代码。该操作初始化2个属性：validLogin和rememberMe。
当我们走过上边缘时，我们到达v_ClientNotRunning顶点。这个顶点有2个边沿，都有Guards。由于validLogin和rememberMe在这一点上被初始化为false，因此只有一个边可以用于步行：边e_StartClient具有顶点v_LoginPrompted作为目的地。
假如，我们已经遍历边e_ToggleRememberMe和e_ValidPremiumCredentials，并再次到达顶点v_ClientNotRunning
智能推荐
oracle 12c 集群安装后的检查_12c查看crs状态-程序员宅基地
文章浏览阅读1.6k次。安装配置gi、安装数据库软件、dbca建库见下：http://blog.csdn.net/kadwf123/article/details/784299611、检查集群节点及状态：[root@rac2 ~]# olsnodes -srac1 Activerac2 Activerac3 Activerac4 Active[root@rac2 ~]_12c查看crs状态
解决jupyter notebook无法找到虚拟环境的问题_jupyter没有pytorch环境-程序员宅基地
文章浏览阅读1.3w次，点赞45次，收藏99次。我个人用的是anaconda3的一个python集成环境，自带jupyter notebook，但在我打开jupyter notebook界面后，却找不到对应的虚拟环境，原来是jupyter notebook只是通用于下载anaconda时自带的环境，其他环境要想使用必须手动下载一些库：1.首先进入到自己创建的虚拟环境(pytorch是虚拟环境的名字)activate pytorch2.在该环境下下载这个库conda install ipykernelconda install nb__jupyter没有pytorch环境
国内安装scoop的保姆教程_scoop-cn-程序员宅基地
文章浏览阅读5.2k次，点赞19次，收藏28次。选择scoop纯属意外，也是无奈，因为电脑用户被锁了管理员权限，所有exe安装程序都无法安装，只可以用绿色软件，最后被我发现scoop，省去了到处下载XXX绿色版的烦恼，当然scoop里需要管理员权限的软件也跟我无缘了（譬如everything）。推荐添加dorado这个bucket镜像，里面很多中文软件，但是部分国外的软件下载地址在github，可能无法下载。以上两个是官方bucket的国内镜像，所有软件建议优先从这里下载。上面可以看到很多bucket以及软件数。如果官网登陆不了可以试一下以下方式。_scoop-cn
Element ui colorpicker在Vue中的使用_vue el-color-picker-程序员宅基地
文章浏览阅读4.5k次，点赞2次，收藏3次。首先要有一个color-picker组件 <el-color-picker v-model="headcolor"></el-color-picker>在data里面data() { return {headcolor: ’ #278add ’ //这里可以选择一个默认的颜色} }然后在你想要改变颜色的地方用v-bind绑定就好了，例如：这里的:sty..._vue el-color-picker
迅为iTOP-4412精英版之烧写内核移植后的镜像_exynos 4412 刷机-程序员宅基地
文章浏览阅读640次。基于芯片日益增长的问题，所以内核开发者们引入了新的方法，就是在内核中只保留函数，而数据则不包含，由用户（应用程序员）自己把数据按照规定的格式编写，并放在约定的地方，为了不占用过多的内存，还要求数据以根精简的方式编写。boot启动时，传参给内核，告诉内核设备树文件和kernel的位置，内核启动时根据地址去找到设备树文件，再利用专用的编译器去反编译dtb文件，将dtb还原成数据结构，以供驱动的函数去调用。firmware是三星的一个固件的设备信息，因为找不到固件，所以内核启动不成功。_exynos 4412 刷机
Linux系统配置jdk_linux配置jdk-程序员宅基地
文章浏览阅读2w次，点赞24次，收藏42次。Linux系统配置jdkLinux学习教程，Linux入门教程（超详细）_linux配置jdk
随便推点
matlab(4)：特殊符号的输入_matlab微米怎么输入-程序员宅基地
文章浏览阅读3.3k次，点赞5次，收藏19次。xlabel('\delta');ylabel('AUC');具体符号的对照表参照下图：_matlab微米怎么输入
C语言程序设计-文件(打开与关闭、顺序、二进制读写)-程序员宅基地
文章浏览阅读119次。顺序读写指的是按照文件中数据的顺序进行读取或写入。对于文本文件，可以使用fgets、fputs、fscanf、fprintf等函数进行顺序读写。在C语言中，对文件的操作通常涉及文件的打开、读写以及关闭。文件的打开使用fopen函数，而关闭则使用fclose函数。在C语言中，可以使用fread和fwrite函数进行二进制读写。 Biaoge 于2024-03-09 23:51发布 阅读量：7 ️文章类型：【 C语言程序设计 】在C语言中，用于打开文件的函数是____，用于关闭文件的函数是____。
Touchdesigner自学笔记之三_touchdesigner怎么让一个模型跟着鼠标移动-程序员宅基地
文章浏览阅读3.4k次，点赞2次，收藏13次。跟随鼠标移动的粒子以grid（SOP）为partical（SOP）的资源模板，调整后连接【Geo组合+point spirit（MAT)】，在连接【feedback组合】适当调整。影响粒子动态的节点【metaball(SOP)+force(SOP)】添加mouse in（CHOP)鼠标位置到metaball的坐标，实现鼠标影响。..._touchdesigner怎么让一个模型跟着鼠标移动
【附源码】基于java的校园停车场管理系统的设计与实现61m0e9计算机毕设SSM_基于java技术的停车场管理系统实现与设计-程序员宅基地
文章浏览阅读178次。项目运行环境配置：Jdk1.8 + Tomcat7.0 + Mysql + HBuilderX（Webstorm也行）+ Eclispe（IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持）。项目技术：Springboot + mybatis + Maven +mysql5.7或8.0+html+css+js等等组成，B/S模式 + Maven管理等等。环境需要1.运行环境：最好是java jdk 1.8，我们在这个平台上运行的。其他版本理论上也可以。_基于java技术的停车场管理系统实现与设计
Android系统播放器MediaPlayer源码分析_android多媒体播放源码分析 时序图-程序员宅基地
文章浏览阅读3.5k次。前言对于MediaPlayer播放器的源码分析内容相对来说比较多，会从Java-&amp;gt;Jni-&amp;gt;C/C++慢慢分析，后面会慢慢更新。另外，博客只作为自己学习记录的一种方式，对于其他的不过多的评论。MediaPlayerDemopublic class MainActivity extends AppCompatActivity implements SurfaceHolder.Cal..._android多媒体播放源码分析 时序图
java 数据结构与算法 ——快速排序法-程序员宅基地
文章浏览阅读2.4k次，点赞41次，收藏13次。java 数据结构与算法 ——快速排序法_快速排序法