Premium
Modelling methods for web application verification and testing: state of the art
Author(s) -
Alalfi Manar H.,
Cordy James R.,
Dean Thomas R.
Publication year - 2009
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.401
Subject(s) - computer science , web testing , software engineering , software , web application , verification and validation , web modeling , software testing , data mining , world wide web , web service , programming language , engineering , operations management , web intelligence
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.