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

被引：30
作者：
Alalfi, Manar H. [1 ]
Cordy, James R. [1 ]
Dean, Thomas R. [1 ]
机构：
[1] Queens Univ, Sch Comp, Kingston, ON K7L 3N6, Canada
来源：
SOFTWARE TESTING VERIFICATION & RELIABILITY | 2009年 / 19卷 / 04期
关键词：
analysis models; web application testing; web application verification; CHECKING;
D O I：
10.1002/stvr.401
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 (C) 2008 John Wiley & Sons, Ltd.
引用
收藏
页码：265 / 296
页数：32
相关论文
共 73 条
[21]  
COELHO J, 2006, P INT WORKSH ADV WEB, P148
[22]   Modeling Web application architectures with UML [J].
Conallen, J .
COMMUNICATIONS OF THE ACM, 1999, 42 (10) :63-70
[23]  
DARGHAM J, 2006, P ADV INT C TEL INT, P199
[24]  
de Alfaro L, 2001, LECT NOTES COMPUT SC, V2102, P337
[25]   WSDM: a user centered design method for Web sites [J].
De Troyer, OMF ;
Leune, CJ .
COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (1-7) :85-94
[26]  
DEALFARO L, 2001, P WWW POST HONG KONG, P86
[27]  
DEUTSCH A, 2005, P ACM SIGMOD INT C M, P539
[28]   Specification and verification of data-driven Web applications [J].
Deutsch, Alin ;
Sui, Liying ;
Vianu, Victor .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2007, 73 (03) :442-474
[29]   Considering browser interaction in web application testing [J].
Di Lucca, GA ;
Di Penta, M .
FIFTH IEEE INTERNATIONAL WORKSHOP ON WEB SITE EVOLUTION THEME: ARCHITECTURE, PROCEEDINGS, 2003, :74-81
[30]   Testing Web-based applications: The state of the art and future trends [J].
Di Lucca, Giuseppe A. ;
Fasolino, Anna Rita .
INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (12) :1172-1186
12345678