从企业WEB应用挖掘行为模式

《从企业WEB应用挖掘行为模式》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、从企业WEB应用挖掘行为模式摘要：今天的企业WEB应用需要很高的发行循环，因此需要频繁的测试。自动进行这些测试通常需要一个行为模型：一种状态描述，应用程序可以在这些状态与期望的结果之间进行转换。此外，人们需要脚本使得抽象动作转换成可执行的模型。由于指定这样的行为模式和手动编写必要的脚本是一个艰巨的任务，一种可行的替代是从现有的应用中提取他们。然而，挖掘这样的模型是一种挑战，尤其是因为需要知道何时两种状态是等价的，以及如何达到该状态。我们提出了PROCRWAL（过程爬虫），一种通用的从多用户企业WEB应

2、用中挖掘行为模式的途径。PROCRWAL通过它的用户接口观察应用程序的行为，产生并执行测试去发现未观察到的行为。在我们评估的三个有意义的WEB应用中，PROCRWAL产生了精确抽象应用程序行为的模型，并且它可以直接用于有效的基于模型的回归测试。1、简介今天的企业WEB应用具有高频率更新的特征。为了避免这样的更新破坏功能性，人们不得不进行测试——频繁的更新需要频繁的测试。自动这些测试需要一个模型描述可能的和被期望的应用程序行为。然而，典型的WEB应用程序都没有明确的模型，这意味着几乎手动和效率低下的测试

3、，同时也减慢了对应用的理解与维护。规范挖掘领域的目标是促进这些从程序和他们的执行结果中挖掘抽象概念的活动——通常情况下，程序的行为模式。如果这些模式足够精确，它们甚至可以用于时候的程序规格书。规范挖掘已经成功的用于推导公理规范像程序中的功能以及不可变数据，或有限状态自动机描述状态和单独类之间的转换。对于这样小规模的域，它可以相当容易的验证规范，因为程序代码和程序状态两者都可以访问并顺从符号推理和详细的测试。对于企业应用，抽取描述他们可能的行为模式是非常困难的。举个例子，程序代码和程序状态可能因为应用被

4、分布在多个不同的层面和站点而导致不能被有效的分析。通常，唯一可以做出的假设是有一些像WEB接口之类的用户接口允许人进行交互。在本文中，我们提出PROCRAWL，一个为了进行系统测试与维护的工具，它可以挖掘企业WEB应用中明确的行为模式。所有PROCRAWL所需要的是WEB应用的URL、用户的登录证书、一个范围定义（例如，需要进行观察的WEB应用的部分）并启动事件。由此产生的行为模式是一个有限状态自动机，其中的节点表示WEB应用的抽象独立状态，PROCRAWL根据他们检测到的顺序进行编号，然而转换代表用

5、户在不同的角色中执行、修改状态的动作。该模式可以作为一个“黄金法则”用于检测从一个应用版本到另一个应用版本的回归。作为一个例子，图例1显示的是OpenConf的审阅者页面，基于Web的会议管理系统。作者可以通过OpenConf提交论文，论文经过同行的审查并可以进行拒绝或接受（我们假设一个过程是大多数熟悉这个本文的大多数读者）。分别针对作者、审阅者和主持人使用不同的登录脚本，PROCRAWL推断一个提交（参见图2）的生命周期：经过作者对论文做的一个提交，所提交的状态呈现为等待（状态2）。在将论文分配给审

6、阅者之前，主持人可以接受（状态9）或者拒绝（状态10）该份论文。为三个未分配状态对应审阅者分配后的状态（状态3，4，5）和审阅者提交审议（状态7，6，8）之后。在任何时候，主持人可以撤销先前的决定或分配新的审阅者。然而，在分配评审，没有办法恢复到未分配状态（状态2，9，10）。为了恢复到未分配状态下的行为，ProCrawl需要一个命令重置，将状态迁移到OpenConf状态1。数字（特征）3：ProCrawl是如何工作，以及它的配置信息：(a)描述个体的活动和它们的初始化数据，例如，登录，它在web应用

7、上触发了开始事件（提交）和(b)决定了应用的状态，这将产生一个初始化行为模式，(c)这个行为模式包括开始事件和观察状态，ProCrawl它将系统地和自动地去生成更长远的执行力(d)去探索额外的状态和转变。这个结果是一个更加强化的行为模式（e）从web应用中可以得到。2.企业级应用测试当执行这些业务流程时，企业web应用程序支持业务流程围绕数据存贮在后台操作，业务流程包括多个相互作用的角色（比如卖方和供应商，或一个作家，评论家，会议主席等）这个中央数据的合作编辑是通过客户端，这些客户端可能有不同的功能，

8、根据用户角色和一些主要的UI视图来区分这个应用的功能。在先进的架构访问是基于浏览器的客户端。一个说明性的列子是OpenConf,而更多的面向业务在第5部分中介绍)。对于管理的复杂性，测试企业应用通常发生在服务层，单元测试确保这个软件单元是功能在孤立的高代码覆盖率下是正确的，但是服务和综合测试确保合同的实现和集成测试确保合同的实现和集成测试义务服务/组件和正确的沟通服务/组件之间的耦合。在本文中,我们专注于最顶部水平在该层次结构系统经历一个交叉模块系统测试