CLIENT-TIER VALIDATION OF DYNAMIC WEB APPLICATIONS

Hideo Tanida, Masahiro Fujita, Mukul Prasad, Sreeranga P. Rajan

2011

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.

Download


Paper Citation


in Harvard Style

Tanida H., Fujita M., Prasad M. and P. Rajan S. (2011). CLIENT-TIER VALIDATION OF DYNAMIC WEB APPLICATIONS . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 86-95. DOI: 10.5220/0003510500860095

in Bibtex Style

@conference{icsoft11,
author={Hideo Tanida and Masahiro Fujita and Mukul Prasad and Sreeranga P. Rajan},
title={CLIENT-TIER VALIDATION OF DYNAMIC WEB APPLICATIONS},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={86-95},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003510500860095},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - CLIENT-TIER VALIDATION OF DYNAMIC WEB APPLICATIONS
SN - 978-989-8425-77-5
AU - Tanida H.
AU - Fujita M.
AU - Prasad M.
AU - P. Rajan S.
PY - 2011
SP - 86
EP - 95
DO - 10.5220/0003510500860095