Authors:
Hideo Tanida
1
;
Masahiro Fujita
1
;
Mukul Prasad
2
and
Sreeranga P. Rajan
2
Affiliations:
1
The University of Tokyo, Japan
;
2
Fujitsu Laboratories of America, United States
Keyword(s):
Dynamic analysis, Validation, Web application.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Distributed and Mobile Software Systems
;
Model-Driven Engineering
;
Requirements Elicitation and Specification
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Testing and Maintenance
;
Web-Based Computing
Abstract:
Web applications pervade all aspects of human activity today. Rapid growth in the scope, penetration and user-base of web applications, over the past decade, has meant that web applications are substantially bigger, more complex and sophisticated than ever before. This places even more demands on the validation process for web applications. This paper presents a case study of the validation of Ajax web Applications, where a combination of dynamic crawling-based model generation and back-end model checking is used to comprehensively validate the client-tier of the web application. Our experience shows that such an approach is not only practical in the context of applications of such size and complexity but can provide greater automation and better coverage than current industrial validation practices based on testing. A couple of experimental results are presented to show the effectiveness of the proposed approach.