Modelling methods for web application verification and testing: state of the art

Models are considered an essential step in capturing different system behaviours and simplifying the analysis required to check or improve the quality of software. Verification and testing of web software requires effective modelling techniques that address the specific challenges of web applications. In this study we survey 24 different modelling methods used in web site verification and testing. Based on a short catalogue of desirable properties of web applications that require analysis, two different views of the methods are presented: a general categorization by modelling level, and a detailed comparison based on property coverage. Copyright © 2008 John Wiley & Sons, Ltd.

[1]  María Alpuente,et al.  A Fast Algebraic Web Verification Service , 2007, RR.

[2]  Richard C. Holt,et al.  Architecture recovery of web applications , 2002, ICSE '02.

[3]  Nashat Mansour,et al.  Modeling Web Systems Using SDL , 2003, ISCIS.

[4]  Mário Florido,et al.  Type-Based Static and Dynamic Website Verification , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).

[5]  Matthias Felleisen,et al.  Modeling Web Interactions , 2003, ESOP.

[6]  Alin Deutsch,et al.  Specification and verification of data-driven Web applications , 2007, J. Comput. Syst. Sci..

[7]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[8]  Olga De Troyer,et al.  WSDM: A User Centered Design Method for Web Sites , 1998, Comput. Networks.

[9]  Gustavo Rossi,et al.  An Object Oriented Approach to Web-Based Applications Design , 1998, Theory Pract. Object Syst..

[10]  Fausto Giunchiglia,et al.  NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.

[11]  Thomas A. Henzinger,et al.  MCWEB: A Model-Checking Tool for Web Site Debugging , 2001, WWW Posters.

[12]  Luca de Alfaro,et al.  Model Checking the World Wide Web , 2001, CAV.

[13]  Francesco M. Donini,et al.  Design Verification of Web Applications Using Symbolic Model Checking , 2005, ICWE.

[14]  Hiroshi Watanabe,et al.  Model checking class specifications for Web applications , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[15]  Carlo Bellettini,et al.  WebUml: reverse engineering of web applications , 2004, SAC '04.

[16]  David Chenho Kung,et al.  An object-oriented Web test model for testing Web applications , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.

[17]  Jonathan L. Gross,et al.  Handbook of graph theory , 2007, Discrete mathematics and its applications.

[18]  Jim Conallen,et al.  Modeling Web application architectures with UML , 1999, CACM.

[19]  María Alpuente,et al.  Rule-based verification of Web sites , 2006, International Journal on Software Tools for Technology Transfer.

[20]  May Haydar,et al.  Formal Verification of Web Applications Modeled by Communicating Automata , 2004, FORTE.

[21]  Joumana Dargham,et al.  FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[22]  Massimiliano Di Penta,et al.  Considering browser interaction in Web application testing , 2003, Fifth IEEE International Workshop on Web Site Evolution, 2003. Theme: Architecture. Proceedings..

[23]  Paloma Díaz,et al.  Modelling hypermedia and web applications: the Ariadne Development Method, , 2005, Inf. Syst..

[24]  James R. Cordy,et al.  A Survey of Analysis Models and Methods in Website Verification and Testing , 2007, ICWE.

[25]  Nora Koch,et al.  The Expressive Power of UML-based Web Engineering1 , 2002 .

[26]  Nora Koch,et al.  A Comparative Study of Methods for Hypermedia Development , 2001 .

[27]  Paolo Tonella,et al.  Dynamic model extraction and statistical analysis of Web applications , 2002, Proceedings. Fourth International Workshop on Web Site Evolution.

[28]  Nora Koch,et al.  Requirements Engineering for Web Applications - A Comparative Study , 2004, J. Web Eng..

[29]  Alexander Knapp,et al.  Model Transformations for Integrating and Validating Web Application Models , 2006, Modellierung.

[30]  Peter Rob,et al.  Database systems : design, implementation, and management , 2000 .

[31]  Andreas Prinz,et al.  SDL-2000: A Language with a Formal Semantics , 2000, Rigorous Object-Oriented Methods.

[32]  Daniel Jackson,et al.  Alloy: A New Technology for Software Modelling , 2002, TACAS.

[33]  Esther Guerra,et al.  A Transformation-Driven Approach to the Verification of Security Policies in Web Designs , 2007, ICWE.

[34]  Shriram Krishnamurthi,et al.  Verifying interactive Web programs , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..

[35]  Michele Ruta,et al.  WAVer: A Model Checking-based Tool to Verify Web Application Design , 2006, Electron. Notes Theor. Comput. Sci..

[36]  A. Jefferson Offutt,et al.  Bypass testing of Web applications , 2004, 15th International Symposium on Software Reliability Engineering.

[37]  Alin Deutsch,et al.  A verifier for interactive, data-driven web applications , 2005, SIGMOD '05.

[38]  Paolo Tonella,et al.  A 2-layer model for the white-box testing of Web applications , 2004, Proceedings. Sixth IEEE International Workshop on Web Site Evolution.

[39]  María Alpuente,et al.  A Rewriting-based Framework for Web Sites Verification , 2005, Electron. Notes Theor. Comput. Sci..

[40]  Giuliano Antoniol,et al.  Understanding Web applications through dynamic analysis , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..

[41]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[42]  D. Ballis,et al.  Fixing Web Sites Using Correction Strategies , 2006, 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06).

[43]  Franca Garzotto,et al.  HDM—a model-based approach to hypertext application design , 1993, TOIS.

[44]  Francesco M. Donini,et al.  AnWeb: a system for automatic support to web application verification , 2002, SEKE '02.

[45]  Stefano Ceri,et al.  Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.

[46]  Jessica Chen,et al.  Formal Models for Web Navigations with Session Control and Browser Cache , 2004, ICFEM.

[47]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[48]  Behzad Bordbar,et al.  MDA and Analysis of Web Applications , 2005, TEAA.

[49]  Jordi Cabot,et al.  Tool Support for Model Checking of Web Application Designs , 2007, ICWE.

[50]  Francesco M. Donini,et al.  Web applications design and maintenance using symbolic model checking , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..

[51]  Ferdinand Wagner,et al.  Modeling Software with Finite State Machines : A Practical Approach , 2006 .

[52]  Giuseppe A. Di Lucca,et al.  Testing Web-based applications: The state of the art and future trends , 2006, Inf. Softw. Technol..

[53]  Miao Huai-kou,et al.  An Approach to Modeling Hypermedia Web Applications , 2007, Sixth International Conference on Grid and Cooperative Computing (GCC 2007).

[54]  Mário Florido,et al.  VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content , 2006, APWeb Workshops.

[55]  Jesús Torres Valderrama,et al.  Methodologies to develop Web Information Systems and Comparative Analysis , 2002 .

[56]  Marco Winckler,et al.  StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications , 2003, DSV-IS.

[57]  Huaikou Miao,et al.  Auto-Generating Test Sequences for Web Applications , 2007, ICWE.

[58]  Huaikou Miao,et al.  Model Checking-based Verification of Web Application , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[59]  Paolo Tonella,et al.  Web site analysis: structure and evolution , 2000, Proceedings 2000 International Conference on Software Maintenance.

[60]  A. Jefferson Offutt,et al.  Testing Web applications by modeling with FSMs , 2005, Software & Systems Modeling.

[61]  Paolo Tonella,et al.  Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions , 2001, TACAS.

[62]  Christine Hofmeister,et al.  Modeling and verification of adaptive navigation in web applications , 2006, ICWE '06.

[63]  Michael Benedikt,et al.  VeriWeb: Automatically Testing Dynamic Web Sites , 2002 .

[64]  Leon Moonen,et al.  A generic architecture for data flow analysis to support reverse engineering , 1997 .

[65]  Enno Ohlebusch,et al.  Term Rewriting Systems , 2002 .

[66]  María Alpuente,et al.  A Semi-Automatic Methodology for Repairing FaultyWeb Sites , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[67]  Gregg Rothermel,et al.  Leveraging user-session data to support Web application testing , 2005, IEEE Transactions on Software Engineering.

[68]  Massimiliano Di Penta,et al.  Integrating static and dynamic analysis to improve the comprehension of existing Web applications , 2005, Seventh IEEE International Symposium on Web Site Evolution.

[69]  Ye Wu,et al.  Modeling and Testing Web-based Applications , 2002 .