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

Authors:
Manar H. Alalfi;James R. Cordy;Thomas R. Dean
Affiliations:
School of Computing, Queen's University, Kingston, Ontario, Canada K7L 3N6;School of Computing, Queen's University, Kingston, Ontario, Canada K7L 3N6;School of Computing, Queen's University, Kingston, Ontario, Canada K7L 3N6
Venue:
Software Testing, Verification & Reliability
Year:
2009

Citing 0
Cited 10

Model-checking web applications with web-TLR

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Formal modeling of RESTful systems using finite-state machines

ICWE'11 Proceedings of the 11th international conference on Web engineering
A finite-state machine approach for modeling and analyzing restful systems

Journal of Web Engineering
Recovering role-based access control security models from dynamic web applications

ICWE'12 Proceedings of the 12th international conference on Web Engineering
Extracting EFSMs of web applications for formal requirements specification

SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Model-Driven testing for web applications using abstract state machines

ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Metamodeling to Control and Audit E-Commerce Web Applications

International Journal of Electronic Commerce
Server interface descriptions for automated testing of JavaScript web applications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Concept analysis based approach to statistical web testing

Theories of Programming and Formal Methods
Automated cookie collection testing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.