面向动态Web应用的错误分析与定位技术研究

As the development of cloud computing, many software are delivered to the customer in a Software as a Service manner and manifest as web applications. Modern Web technologies, such as JavaScript, AJAX, enable the web applications the same interactive capability of their desktop counterpart. However, new technology stacks lead to more complex layered structure of web applications and harden the error analysis and locating which is significant to ensure the quality of modern web-based applications. In this project, we propose a behavioural model based approach to analysing and locating errors in the dynamic web applications. Particularly, this project will investigate several key methodologies for error analysis and locating in web applications that include: (1)Fast reproducing errors for web application based on record-replay; (2)Automated error reproducing for web applications based on program synthesis; and (3)Model-based error detecting for web applications.

随着云计算和软件服务化的发展，越来越多的软件以服务的方式，通过Web应用提供给用户。Web技术的发展，尤其是以JavaScript和AJAX等为基础的动态Web应用开发技术的成熟，使得Web应用具备和传统桌面应用一样的交互能力。Web应用的层次结构及各层次间的交互变得更加复杂，因此，Web应用的错误分析与定位也面临更多挑战。如何准确地刻画动态Web应用程序的复杂行为，有效地支持Web应用的错误分析与定位，对基于Web的现代软件应用而言，是一个亟待解决的关键问题。本项目旨在研究Web应用程序的行为特征，提出基于Web应用程序行为模型的错误分析与定位方法，并针对实践中的应用场景，研究：（1）基于记录-重放的Web应用错误的快速重现方法；（2）基于程序合成的Web应用错误自动化重现方法；（3）基于模型的Web应用错误检测方法。为Web应用错误诊断与分析及后续修复提供关键技术支撑。

随着云计算和软件服务化的发展，越来越多的软件以服务的方式，通过Web应用提供给用户。Web技术的发展，尤其是以JavaScript和AJAX等为基础的动态Web应用开发技术的成熟，使得Web应用具备和传统桌面应用一样的交互能力。Web应用的层次结构及各层次间的交互变得更加复杂，因此，Web应用的错误分析与定位也面临更多挑战。如何准确地刻画动态Web应用程序的复杂行为，有效地支持Web应用的错误分析与定位，对基于Web的现代软件应用而言，是一个亟待解决的关键问题。本项目旨在研究Web应用程序的行为特征，提出基于Web应用程序行为模型的错误分析与定位方法，针对实践中的应用场景，为Web应用错误诊断与分析及后续修复提供关键技术支撑。本项目在基于JavaScript的Web应用错误分析与定位，JavaScript应用API类型推导，服务端 JavaScript 应用并发错误分析，以及RESTful Web API 的设计于演化评估等研究中取得良好结果，能够有效帮助开发者进行Web应用错误的调试，检测出Java Script应用中API的错误使用，以及有效检测Web API规约文档中的错误。我们在服务端JavaScript应用并发错误领域进行的实证研究为今后相关方向研究提供良好的的基础。