Creating and Using Models for Mobile and Rich Internet Applications

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

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

所谓的“富Internet应用程序”（ria）越来越多地用于现代应用程序。它们能够以编程方式更新客户端，并与服务器进行异步交互。实际上，ria是客户机-服务器应用程序，随着HTML5的广泛应用，ria将越来越独立。