最近看到了一篇很有意思的文章，是德国帕德博恩大学的一篇毕业论文。里面提出了一种GUI测试的事件序列图（ESG）建模方法，以及基于ESG的错误推测法和风险分析的使用方法。感觉很有意思，想和大家分享。
首先，让我们来浅浅认识一下ESG。
l 时间序列图（****ESG****）建模方法
事件序列图（ESG）是一种简单但功能强大的建模方法，用于捕获各种交互系统的行为，包括实时、嵌入式系统和图形用户界面（GUI）。不同于有限状态机（FSM），它的建模对象是一系列的事件，而不是状态。
ESG有一个统一的视图，其中事件大类包含了：用户操作（例如：点击按钮，键盘输入等）或环境操作（例如：自动跳转）以及系统响应（例如：点击后显示新页面）。但从集合的角度来看，用户操作、环境操作和系统响应又被划分为了不同的子集。ESG本身是有限事件过程的模型。ESG的集合，是许多子ESG组成的。
那么到底什么是ESG呢？让我们用一张图直观了解一下。
图1 RealJukebox实时播放器界面图
如图1所示，为一款实时播放器的界面图。我们选择主菜单的“Play and Record a CD or Track”子功能使用ESG建模。建模图如下图2所示。
图2 “Play and Record a CD or Track”子功能ESG建模图，其中L：Load a CD ，S：Select a track，P：Play a track，M：Mode，R：Remove CD
图2中，L、S、P、M、R我们叫做一个节点，表示一个事件，箭头方向表示后者跟随前者，也表示事件流方向。L在该ESG图中表示入口，R表示出口。
例如，从图2中我们可以得出这样的事件路径。LSPMR：加载CD—>选择曲目—>播放曲目—>选择模式—>退回CD；又如LR：加载CD—>退回CD；又如SP：选择曲目—>播放曲目。但是我们只把包含入口和出口事件的时间路径叫做“完整事件路径”。即：SP，PS，PM，LSPS这类没有出口的时间路径我们称作“不完整时间路径”。
那么，本文介绍ESG的主要目的是什么呢？！
其实本文的目的有3个：1、简单介绍下ESG模型；2、介绍错误推测法在ESG的应用，希望能给大家带来启发；3、介绍风险分析法在ESG的应用，希望能给大家带来启发。
本小节我们已经简单介绍了下ESG，下面我将在本节的基础上继续。
l 基于****ESG****的错误推测法使用
如图2所示，我们绘出了RealJukebox子功能的ESG图。而且，是正常流程图。也就是说，在图2中我们不包含一些异常操作流程。
如何来理解？
试试SL路径呢？选择曲目—>加载CD。是不是想大呼“做不到！不可能！”那再试试LL路径呢？加载CD—>再加载CD。有没有可能？是不是陷入沉思了。如果实现了呢？！这是不是一种异常？！
所以，根据ESG图，我们可以补充许多异常时间流程图。如下图3所示。
图3 “Play and Record a CD or Track”子功能ESG建模图（包含正常事件路径和异常事件路径）
，其中L：Load a CD ，S：Select a track，P：Play a track，M：Mode，R：Remove CD
图3中，红色虚线为补充的异常事件路径。从图3中，我们可以发现，我们能够获得许多异常路径可以用于测试。例如：LL，SL，SS，LP，PL，LM，ML，RP，RR，RS。如果从完整路径角度来看，我们还需要将入口L和出口R加入异常路径，用于测试。即，如LMR，LPMR等。
看到这，有没有恍然大悟？是不是当你在愁眉紧锁不知道如何下手异常测试或者如何使用推测法时，有了一点灵感？！
但，值得注意的是：图2和图3中都有许多循环路径，例如LL，SS，PP等，我们在构建测试用例时，选择最短路径进行测试。即LSPMR和LLSPMR，我们选择LSPMR。
l 基于****ESG****的风险分析法使用
风险分析的目的是什么？
我觉得，风险分析的目的在于最小范围锁定异常元素或者异常流程。
对于图3来说，假如我们测试LSPMR、LSMR和LSR，以及其他包含LS子路径的测试时，发现总会在LS这个子路径出现问题（例如，系统崩溃或者异常退出等），那么我们可以将风险锁定到最小单元LS这条子路径。这可以叫做“风险最小锁定”，在解决LS这条子路径前，我们不应该进行任何包含LS路径的测试。因为，即使获得了结果，我们都是在错误的基础上得出的结果，无法判断正确性。
最后，简单总结一下。不知道正在看文章的你有没有什么启发呢？是不是对ESG有了初步认识？是不是更加理解了错误推测法的使用？是不是也更清楚了如何锁定最小风险区域？如果你的答案时“是”，那么我觉得我这篇文章发挥了作用。
网友评论