Detecting Inconsistencies in JavaScript MVC Applications

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI:10.1109/ICSE.2015.52

Frolin S. Ocariza, K. Pattabiraman, A. Mesbah

{"title":"Detecting Inconsistencies in JavaScript MVC Applications","authors":"Frolin S. Ocariza, K. Pattabiraman, A. Mesbah","doi":"10.1109/ICSE.2015.52","DOIUrl":null,"url":null,"abstract":"Higher demands for more reliable and maintainable JavaScript-based web applications have led to the recent development of MVC (Model-View-Controller) frameworks. One of the main advantages of using these frameworks is that they abstract out DOM API method calls, which are one of the leading causes of web application faults, due to their often complicated interaction patterns. However, MVC frameworks are susceptible to inconsistencies between the identifiers and types of variables and functions used throughout the application. In response to this problem, we introduce a formal consistency model for web applications made using MVC frameworks. We propose an approach -- called Aurebesh -- that automatically detects inconsistencies in such applications. We evaluate Aurebesh by conducting a fault injection experiment and by running it on real applications. Our results show that Aurebesh is accurate, with an overall recall of 96.1% and a precision of 100%. It is also useful in detecting bugs, allowing us to find 15 real-world bugs in applications built on Angular JS, a popular MVC framework.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"36","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSE.2015.52","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 36

Abstract

Higher demands for more reliable and maintainable JavaScript-based web applications have led to the recent development of MVC (Model-View-Controller) frameworks. One of the main advantages of using these frameworks is that they abstract out DOM API method calls, which are one of the leading causes of web application faults, due to their often complicated interaction patterns. However, MVC frameworks are susceptible to inconsistencies between the identifiers and types of variables and functions used throughout the application. In response to this problem, we introduce a formal consistency model for web applications made using MVC frameworks. We propose an approach -- called Aurebesh -- that automatically detects inconsistencies in such applications. We evaluate Aurebesh by conducting a fault injection experiment and by running it on real applications. Our results show that Aurebesh is accurate, with an overall recall of 96.1% and a precision of 100%. It is also useful in detecting bugs, allowing us to find 15 real-world bugs in applications built on Angular JS, a popular MVC framework.

查看原文本刊更多论文

检测JavaScript MVC应用程序中的不一致性

对更可靠和可维护的基于javascript的web应用程序的更高需求导致了最近MVC(模型-视图-控制器)框架的发展。使用这些框架的主要优点之一是，它们抽象出DOM API方法调用，由于它们的交互模式通常很复杂，这是导致web应用程序故障的主要原因之一。然而，MVC框架容易受到整个应用程序中使用的变量和函数的标识符和类型之间不一致的影响。为了解决这个问题，我们为使用MVC框架的web应用程序引入了一个正式的一致性模型。我们提出了一种称为Aurebesh的方法，可以自动检测此类应用程序中的不一致性。我们通过进行故障注入实验和在实际应用程序上运行来评估Aurebesh。我们的结果表明，Aurebesh是准确的，总体召回率为96.1%，精度为100%。它在检测bug方面也很有用，允许我们在Angular JS(一种流行的MVC框架)上构建的应用中找到15个真实世界的bug。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

自引率

0.00%

发文量