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.

References

  1. Alfaro, L. D. (2001). Model Checking the World Wide Web. In Computer Aided Verification, pages 337-349. Springer-Verlag.
  2. Alfaro, L. D. (2001). Model Checking the World Wide Web. In Computer Aided Verification, pages 337-349. Springer-Verlag.
  3. Andrews, A. A., Offutt, J., and Alexander, R. T. (2005). Testing Web Applications by Modeling with FSMs. Software and Systems Modeling, 4:326-345.
  4. Andrews, A. A., Offutt, J., and Alexander, R. T. (2005). Testing Web Applications by Modeling with FSMs. Software and Systems Modeling, 4:326-345.
  5. Benedikt, M., Freire, J., and Godefroid, P. (2002). VeriWeb: Automatically Testing Dynamic Web Sites. In Proceedings of 11th International World Wide Web Conference.
  6. Benedikt, M., Freire, J., and Godefroid, P. (2002). VeriWeb: Automatically Testing Dynamic Web Sites. In Proceedings of 11th International World Wide Web Conference.
  7. Clarke, E. M., Grumberg, O., and Peled, D. A. (1999). Model Checking. The MIT Press.
  8. Clarke, E. M., Grumberg, O., and Peled, D. A. (1999). Model Checking. The MIT Press.
  9. Dwyer, M. B., Avrunin, G. S., and Corbett, J. C. (1999). Patterns in Property Specifications for Finite-State Verification. In ICSE 7899: Proceedings of the 21st international conference on Software engineering, pages 411-420, New York, NY, USA. ACM.
  10. Dwyer, M. B., Avrunin, G. S., and Corbett, J. C. (1999). Patterns in Property Specifications for Finite-State Verification. In ICSE 7899: Proceedings of the 21st international conference on Software engineering, pages 411-420, New York, NY, USA. ACM.
  11. Kitchenham, B., Pickard, L., and Pfleeger, S. L. (1995). Case Studies for Method and Tool Evaluation. IEEE Softw., 12(4):52-62.
  12. Kitchenham, B., Pickard, L., and Pfleeger, S. L. (1995). Case Studies for Method and Tool Evaluation. IEEE Softw., 12(4):52-62.
  13. Marchetto, A., Ricca, F., and Tonella, P. (2008a). A CaseStudy Based Comparison of Web Testing Techniques Applied to AJAX Web Applications. International Journal on Software Tools for Technology Transfer (STTT), 10(6):477-492.
  14. Marchetto, A., Ricca, F., and Tonella, P. (2008a). A CaseStudy Based Comparison of Web Testing Techniques Applied to AJAX Web Applications. International Journal on Software Tools for Technology Transfer (STTT), 10(6):477-492.
  15. Marchetto, A., Tonella, P., and Ricca, F. (2008b). StateBased Testing of Ajax Web Applications. In ICST 7808: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pages 121-130, Washington, DC, USA. IEEE Computer Society.
  16. Marchetto, A., Tonella, P., and Ricca, F. (2008b). StateBased Testing of Ajax Web Applications. In ICST 7808: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, pages 121-130, Washington, DC, USA. IEEE Computer Society.
  17. Mesbah, A., Bozdag, E., and Deursen, A. V. (2008). Crawling AJAX by Inferring User Interface State Changes. In ICWE 7808: Proceedings of the 2008 Eighth International Conference on Web Engineering, pages 122- 134, Washington, DC, USA. IEEE Computer Society.
  18. Mesbah, A., Bozdag, E., and Deursen, A. V. (2008). Crawling AJAX by Inferring User Interface State Changes. In ICWE 7808: Proceedings of the 2008 Eighth International Conference on Web Engineering, pages 122- 134, Washington, DC, USA. IEEE Computer Society.
  19. Mesbah, A. and Deursen, A. V. (2009). Invariant-Based Automatic Testing of AJAX User Interfaces. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009).
  20. Mesbah, A. and Deursen, A. V. (2009). Invariant-Based Automatic Testing of AJAX User Interfaces. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009).
  21. Ricca, F. and Tonella, P. (2001). Analysis and Testing of Web Applications. In Proceedings of the 23rd International Conference on Software Engineering (ICSE'01), pages 25-34. IEEE Computer Society.
  22. Ricca, F. and Tonella, P. (2001). Analysis and Testing of Web Applications. In Proceedings of the 23rd International Conference on Software Engineering (ICSE'01), pages 25-34. IEEE Computer Society.
  23. Strecker, J. and Memon, A. M. (2009). Testing Graphical User Interfaces. In Encyclopedia of Information Science and Technology, Second ed. IGI Global.
  24. Strecker, J. and Memon, A. M. (2009). Testing Graphical User Interfaces. In Encyclopedia of Information Science and Technology, Second ed. IGI Global.
  25. Zammetti, F. (2006). Practical Ajax Projects with Java Technology. Apress.
  26. Zammetti, F. (2006). Practical Ajax Projects with Java Technology. Apress.
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 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 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


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