Creating and Using Models for Mobile and Rich Internet Applications

为移动和富互联网应用程序创建和使用模型

• 批准号: RGPIN-2015-05744
• 负责人: Jourdan, GuyVincent
• 金额: $ 1.31万
• 依托单位: University of Ottawa
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=676854
• 关键词: Creating; Using; Models; Mobile; Rich

The so-called "Rich Internet Applications" (RIAs) are increasingly used for modern applications. They have the ability to update the client-side programmatically and to interact with the server asynchronously. In effect, RIAs are client-server applications, and with wider adaption of HTML5, RIAs will be increasingly stand-alone.***Automatically inferring a model (a.k.a. "crawling") for these RIAs is necessary for tasks such as content indexing, security testing, model-based testing etc. The bulk of the recent research in this domain is based on Finite State Machines (FSM)-based models, where each state represents one possible "Document Object Model" (DOM) of the application, and each transition represents the execution of one JavaScript event. However, these models are unable to scale up to the size of most real RIAs. ***In this research, we want to improve model-inference techniques for RIAs and Mobile applications to be able to handle large, complex RIAs and then use these models in the context of automated formal application testing. ***The first axis is to build upon our new model, which we have called "Component-Based". The goal is to automatically break down each DOM into a set of independent components, which are then modelled independently from one another. This dramatically reduces the size of the model when compared to the DOM-based model, since it avoids much of the unnecessary duplication inherent to these models. Our initial evaluations have shown that most modern complex RIAs have many of these components, making this model highly applicable. We will in particular work on formally defining this new model and its properties. We will also focus on automatic component detection and efficient modelling algorithms.***Our second axis is automatic user-session reconstructions based on execution logs. This provides the ability to recover the actions of user's offline using common log files. This presents several benefits, including the production of better models (input values, possible sequences of actions etc.), the automatic production of necessary information for further automation (e.g. the ability to infer complete login sequences for automatic testing) and automatic reproduction of faults for debugging purposes.***Our last research axis is to use these models in the context of formal Model-Based Testing. We are particularly interested in the generation of checking sequences in this context (a sequence that proves the conformance of the implementation to our model, under a given fault model). ***The results of this research will be of interest to researchers and practitioners alike. It will allow us to expend on an already successful research program, giving us the opportunity to work on topics of general interest in this domain while continuing our shorter-term work with IBM in parallel. Canada is a research leader in the domain of RIAs, and this research program will strengthen that position.**

所谓的“丰富的互联网应用程序”（RIA）越来越多地用于现代应用程序。他们有能力以编程方式更新客户端并异步与服务器进行交互。实际上，RIA是客户服务器的应用，并且随着HTML5的更广泛适应，RIA将越来越独立。***自动推断出这些RIA的模型（又称“爬行”）是必要的，对于诸如内容索引，模型的测试等，诸如该域名的范围内的范围（基于安全性的）是基于此类域名的范围（诸如范围内）的范围（基于该模型）的范围（基于此类单位）的必要条件。应用程序的一个可能的“文档对象模型”（DOM），每个过渡代表一个JavaScript事件的执行。但是，这些模型无法扩展到大多数真正的RIA的大小。 ***在这项研究中，我们希望改进RIA和移动应用程序的模型推导技术，以便能够处理大型，复杂的RIA，然后在自动化正式应用程序测试的背景下使用这些模型。 ***第一个轴是建立我们的新模型，我们称之为“基于组件”。目标是将每个DOM自动分解为一组独立组件，然后将其独立于彼此建模。与基于DOM的模型相比，这大大降低了模型的大小，因为它避免了这些模型固有的许多不必要的重复。我们的初步评估表明，大多数现代复杂的RIA都有许多这些组件，这使该模型非常适用。我们将特别致力于正式定义这种新模型及其属性。我们还将重点关注自动组件检测和有效的建模算法。***我们的第二轴是基于执行日志的自动用户节重建。这提供了使用通用日志文件恢复用户离线操作的能力。这给出了一些好处，包括生产更好的模型（输入值，可能的动作序列等），自动生产必要信息以进行进一步自动化（例如，推断出自动测试的完整登录序列的能力）以及自动复制故障以进行调试目的。我们对在这种情况下的检查序列的生成特别感兴趣（在给定的故障模型下证明了实现与模型的符合性的序列）。 ***这项研究的结果将引起研究人员和从业人员的关注。这将使我们能够在已经成功的研究计划中探索，这使我们有机会在该领域的普遍兴趣主题上工作，同时继续与IBM并行较短的工作。加拿大是RIA领域的研究负责人，该研究计划将加强该职位。**