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

Software Testing Verification and Reliability

Volumn 19, Issue 4, 2009, Pages 265-296

  Alalfi, Manar H ^a   Cordy, James R ^a   Dean, Thomas R ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Analysis models; Web application testing; Web application verification

Indexed keywords

ANALYSIS MODELS; MODELLING METHOD; MODELLING TECHNIQUES; PROPERTY COVERAGE; QUALITY OF SOFTWARES; STATE OF THE ART; VERIFICATION AND TESTING; WEB APPLICATION; WEB APPLICATION TESTING; WEB APPLICATION VERIFICATION; WEB SITE VERIFICATION; WEB SOFTWARE;

COMPUTER SOFTWARE; VERIFICATION; WEBSITES;

MATHEMATICAL MODELS;

EID: 69849134181     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.401     Document Type: Article

References (73)

1. Garzotto F, Paolini P, Schwabe D. HDM - A model-based approach to hypertext application design. ACM Transactions on Information Systems 1993; 11(1):1-26.
2. Schwabe D, Rossi G. An object oriented approach to web-based applications design. Theory and Practice of Object Systems 1998; 4(4):207-225.
3. De Troyer O, Leune CJ. WSDM: A user centered design method for web sites. Computer Networks 1998; 30(1-7):85-94.
4. Ceri S, Fraternali P, Bongio A. Web modeling language (WebML): A modeling language for designing web sites. Proceedings of the 9th International World Wide Web Conference on Computer Networks: The International Journal of Computer and Telecommunications Networking, Amsterdam, The Netherlands. North-Holland Publishing Co.: Amsterdam, The Netherlands, 2000; 137-157.
5. Hassan AE, Holt RC. Architecture recovery of web applications. Proceedings of the 24th International Conference on Software Engineering (ICSE), Orlando, U.S.A. ACM Press: New York, U.S.A., 2002; 349-359.
6. Antoniol G, Di Penta M, Zazzara M. Understanding web applications through dynamic analysis. Proceedings of the 12th International Workshop on Program Comprehension (IWPC), Bari, Italy, 2004; 120-131.
7. Di Lucca GA, Di Penta M. Integrating static and dynamic analysis to improve the comprehension of existing web applications. Proceedings of the Seventh IEEE International Symposium on WebSite Evolution (WSE), Budapest, Hungary. IEEE Computer Society: Washington, DC, U.S.A., 2005; 87-94.
8. Cuaresma M, Koch N. Requirements engineering for web applications - A comparative study. Journal of Web Engineering 2004; 2(3):193-212.
9. Koch N. A comparative study of methods for hypermedia development. Technical Report 9905, LudwigMaximilians-Universitát, Múnchen, November 1999.
10. Escalona MJ, Mejas M, Torres J. Methodologies to develop web information systems and comparative analysis. The European Journal for the Informatics Professional 2002; III(3):25-36.
11. Elbaum S, Rothermel G, Karre S, Fisher M. Leveraging user session data to support web application testing. IEEE Transactions on Software Engineering 2005; 31(3):187-202.
12. Offutt J, Wu Y, Du X, Huang H. Bypass testing of web applications. The Fifteenth IEEE International Symposium on Software Reliability Engineering (ISSRE'04), Saint-Malo, France, 2004; 187-197.
13. Bellettini C, Marchetto A, Trentini A. WebUML: Reverse engineering of web applications. Proceedings of the 2004 ACM Symposium on Applied Computing SAC, Nicosia, Cyprus, 2004; 1662-1669.
14. Ricca F, Tonella P. Web site analysis: Structure and evolution. Proceedings of the International Conference on Software Maintenance, San Jose, CA, 2000; 76-86.
15. Di Sciascio E, Donini FM, Mongiello M, Totaro R, Castelluccia D. Design verification of web applications using symbolic model checking. Proceedings of the 5th International Conference on Web Engineering, ICWE, Sydney, Australia (Lecture Notes in Computer Science, vol. 3579). Springer: Berlin, 2005; 69-74.
16. Han M, Hofmeister C. Modeling and verification of adaptive navigation in web applications. Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, CA, 2006; 329-336.
17. Bordbar B, Anastasakis K. MDA and analysis of web applications. Proceedings of the Trends in Enterprise Application Architecture, Trondheim, orway (Lecture Notes in Computer Science, vol. 3888). Springer: Berlin, 2005; 44-55.
18. Licata DR, Krishnamurthi S. Verifying interactive web programs. Proceedings of the IEEE International Conference on Automated Software Engineering, Linz, Austria. IEEE Computer Society: New York, 2004; 164-173.
19. Alpuente M, Ballis D, Falaschi M. A rewriting-based framework for web sites verification. Electronic Notes in Theoretical Computer Science 2005; 124(1):41-61.
20. Alpuente M, Ballis D, Falaschi M, Romero D. A semi-automatic methodology for repairing faulty websites. Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM), Pune, India. IEEE Computer Society: Washington, DC, U.S.A., 2006; 31-40.
21. Alpuente M, Ballis D, Falaschi M. Rule-based verification of web sites. International Journal on Software Tools for Technology Transfer 2006; 8(6):565-585.
22. Alpuente M, Ballis D, Falaschi M, Ojeda P, Romero D. A fast algebraic web verification service. Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR), Innsbruck, Austria, 2007; 239-248.
23. Andrews AA, Offutt J, Alexander RT. Testing web applications by modeling with FSMs. Software and Systems Modeling 2005; 4(3):326-345.
24. Haydar M, Petrenko A, Sahraoui H. Formal verification of web applications modeled by communicating automata. Proceedings of the Formal Techniques for Networked and Distributed Systems-FORTE, Madrid, Spain (Lecture Notes in Computer Science, vol. 3235). Springer: Berlin, 2004; 115-132.
25. Di Lucca GA, Fasolino AR. Testing web-based applications: The state of the art and future trends. Information and Software Technology 2006; 48(12):1172-1186.
26. Rob P, Coronel C. Database Systems: Design Implementation and Management (5th edn). Course Technology: New York, January 2004.
27. Di Lucca GA, Di Penta M. Considering browser interaction in web application testing. Proceedings of the 5th International Workshop on WebSite Evolution (WSE), Amsterdam, The Netherlands. IEEE Computer Society Press: Silver Spring, MD, 2003; 74.
28. Graunke PT, Findler RB, Krishnamurthi S, Felleisen M. Modeling web interactions. Proceedings of the Programming Languages and Systems, 12th European Symposium on Programming, ESOP, Warsaw, Poland (Lecture Notes in Computer Science, vol. 2618), Degano P (ed.). Springer: Berlin, 7-11 April 2003; 238-252.
29. Chen J, Zhao X. Formal models for web navigations with session controland browser cache. Proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM, Seattle, WA, U.S.A., 2004; 46-60.
30. Anastasakis K, Bordbar B, Georg G, Ray I. UML2Alloy: A challenging model transformation. Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Nashville, U.S.A., 2007; 436-450.
31. Coelho J, Florido M. VeriFLog: A constraint logic programming approach to verification of web site content. Proceedings of the International Workshops on Advanced Web and Network Technologies and Applications (APWeb), Harbin, China, 2006; 148-156.
32. Coelho J, Florido M. Type-based static and dynamic web site verification. Proceedings of the Second International Conference on Internet and Web Applications and Services (ICIW), Le Morne, Mauritius, 2007; 32.
33. Conallen J. Modeling web application architectures with UML. Communications of the ACM 1999; 42(10):63-71.
34. de Alfaro L, Henzinger TA, Mang FY. MCWEB: A model-checking tool for website debugging. Proceedings of the WWW Posters, Hong Kong, 2001; 86-87.
35. de Alfaro L. Model checking the world wide web. Proceedings of the Computer Aided Verification, 13th International Conference, London, U.K. (Lecture Notes in Computer Science, vol. 2102), Berry G, Comon H, Finkel A (eds.). Springer: Berlin, 18-22 July 2001; 337-349.
36. Di Sciascio E, Donini FM, Mongiello M, Piscitelli G. An Web: A system for automatic support to web application verification. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, 14-19 July 2002; 609-616.
37. Di Sciascio E, Donini FM, Mongiello M, Piscitelli G. Web applications design and maintenance using symbolic model checking. Proceedings of the European Conference on Software Maintenance and Reengineering, Benevento, Italy. IEEE Computer Society Press: Silver Spring, MD, 2003; 63-72.
38. Castelluccia D, Mongiello M, Ruta M, Totaro R. WAVer: A model checking-based tool to verify web application design. Electronic Notes in Theoretical Computer Science 2006; 157(1):61-76. (Pubitemid 43668763)
39. Winckler M, Palanque PA. StateWebCharts: A formal description technique dedicated to navigation modelling of web applications. Proceedings of the 10th International Workshop on Interactive Systems. Design, Specification, and Verification, DSV-IS, Madeira Island, Portugal, 2003; 61-76.
40. Syriani JA, Mansour N. Modeling web systems using SDL. Proceedings of the Computer and Information Sciences - ISCIS, 18th International Symposium, Antalya, Turkey (Lecture Notes in Computer Science, vol. 2869), Yazici A, Sener C (eds.). Springer: Berlin, 3-5 November 2003; 1019-1026.
41. Kung DC, Liu CH, Hsia P. An object-oriented web test model for testing web applications. Proceedings of the 24th International Computer Software and Applications Conference COMPSAC, Taipei, Taiwan, 2000; 537-542.
42. Benedikt M, Freire J, Godefroid P. VeriWeb: Automatically testing dynamic web sites. Proceedings of the 11th International World Wide Web Conference, Hawai, U.S.A., May 2002.
43. Wu Y, Offutt J. Modeling and testing web-based applications. Technical Report, George Mason University, 2002.
44. Tonella P, Ricca F. A 2-layer model for the white-box testing of web applications. Proceedings of the International Workshop on WebSite Evolution, Chicago, U.S.A. IEEE Computer Society Press: Silver Spring, MD, 2004; 11-19. (Pubitemid 40371798)
45. Tonella P, Ricca F. Dynamic model extraction and statistical analysis of web applications. Proceedings of the International Workshop on WebSite Evolution, Montréal, Canada. IEEE Computer Society: New York, 2002; 43-52.
46. Knapp A, Zhang G. Model transformations for integrating and validating web application models. Proceedings of Modellierung, Innsbruck, Austria, 2006; 115-128.
47. Guerra E, Sanz D, Díaz P, Aedo I. A transformation-driven approach to the verification of security policies in web designs. Proceedings of the 7th International Conference on Web Engineering (ICWE), Como, Italy, 2007; 269-284.
48. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987; 8(3):231-274.
49. Object Management Group (OMG). Unified modeling language: Superstructure. http://www.omg.org/docs/formal/05-07-04.pdf, August 2005 [last accessed 28 October 2008].
50. Object Management Group (OMG). UML OCL2 specification, version 2.0. http://www.omg.org/docs/ptc/05-06-06.pdf, June 2005 [last accessed 28 October 2008].
51. Koch N, Kraus A. The expressive power of UML-based web engineering. Second International Workshop on Web-oriented Software Technology, Málaga, Spain, 2002; 105-119.
52. Jackson D. Alloy: A new technology for software modelling. Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Grenoble, France, 2002; 20.
53. Wagner F, Schmuki R, Wagner T, Wolstenholme P. Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications: Philadelphia, PA, 2005.
54. Gross J, Yellen J. Handbook of Graph Theory. Taylor &Francis: New York, 17 April 2007.
55. Moonen L. A generic architecture for data flow analysis to support reverse engineering. Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Amsterdam,The Netherlands (Electronic Workshops in Computing), Sellink M (ed.). Springer: Amsterdam, The Netherlands, 1997.
56. Fischer J, Holz E, von Löwis M, Prinz A. SDL-2000: A language with a formal semantics. Proceedings of the Rigorous Object-Oriented Methods, ROOM 2000, York, U.K., 2000.
57. Klop J. Term rewriting systems. Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky S, Gabbay DM, Maibaum TSE (eds.). Clarendon Press: Oxford, 1992.
58. Ballis D, Romero D. Fixing websites using correction strategies. Proceedings of the Second International Workshop on Automated Specification and Verification of WebSites (WWV), Cyprus, 2006; 11-18.
59. Cimatti A, Clarke EM, Giunchiglia F, Roveri M. NUSMV: A new symbolic model checker. Proceedings of the International Journal on Software Tools for Technology Transfer STTT 2000; 2(4):410-425.
60. Ricca F, Tonella P. Building a tool for the analysis and testing of web applications: Problems and solutions. Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy, vol.2031, 2-6 April 2001; 373-388.
61. Harel D. Statecharts: A visual formulation for complex systems. Science of Computer Programming 1987; 8(3):231-274.
62. Díaz P, Montero S, Aedo I. Modelling hypermedia and web applications: The Ariadne development method. Information Systems 2005; 30(8):649-673.
63. Esther Guerra JD. Attributed typed triple graph transformation with inheritance in the double pushout approach. Technical Report UC3M-TR-CS-06-101, Universidad Carlos III de Madrid, 2006.
64. Deutsch A, Marcus M, Sui L, Vianu V, Zhou D. A verifier for interactive, data-driven web applications. Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, MD, U.S.A., 2005; 539-550.
65. Deutsch A, Sui L, Vianu V. Specification and verification of data-driven web applications. Journal of Computer and System Sciences (JCSS) 2007; 73(3):442-474.
66. Miao H, Zeng H. Model checking-based verification of web application. Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS), Auckland, New Zealand, 2007; 47-55.
67. Brambilla M, Cabot J, Moreno N. Tool support for model checking of web application designs. Proceedings of the 7th International Conference on Web Engineering (ICWE), Como, Italy, 2007; 533-538.
68. Zeng H, Miao H. Auto-generating test sequences for web applications. Proceedings of the 7th International Conference on Web Engineering (ICWE), Como, Italy, 2007; 301-305.
69. Choi EH, Watanabe H. Model checking class specifications for web applications. Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC), Taipei, Taiwan, 2005; 67-78.
70. Behrmann G, David A, Larsen KG. A tutorial on UPPAAL. Formal Methods for the Design of Real-time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 (Lecture notes in Computer Science, vol. 3185), Bernardo M, Corradini F (eds.). Springer: Berlin, 2004; 200-236.
71. Dargham J, Nasrawi SA. FSM behavioral modeling approach for hypermedia web applications: FBM-HWA approach. Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW), Gossler Guadeloupe, 2006; 199.
72. Sheng Qian Z, Miao H, He T. An approach to modeling hypermedia web applications. Proceedings of the Grid and Cooperative Computing (GCC), Urumchi, Xinjiang, China, 2007; 847-854.
73. Alalfi MH, Cordy JR, Dean TR. A survey of analysis models and methods in website verification and testing. Proceedings of the 7th International Conference on Web Engineering (ICWE), Como, Italy, 2007; 306-311.