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 条
[11]  
BELLETTINI C, 2004, P 2004 ACM S APPL CO, P1662
[12]  
Benedikt M., 2002, P 11 INT WORLD WID W
[13]  
Bordbar B, 2006, LECT NOTES COMPUT SC, V3888, P44
[14]  
BRAMBILLA M, 2007, P 7 INT C WEB ENG IC, P533
[15]   WAVer: A Model Checking-based Tool to Verify Web Application Design [J].
Castelluccia, D. ;
Mongiello, M. ;
Ruta, M. ;
Totaro, R. .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) :61-76
[16]   Web Modeling Language (WebML): a modeling language for designing Web sites [J].
Ceri, S ;
Fraternali, P ;
Bongio, A .
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2000, 33 (1-6) :137-157
[17]   Design and analysis of a tripod machine tool with an integrated Cartesian guiding and metrology mechanism [J].
Chen, JS ;
Hsu, WY .
PRECISION ENGINEERING-JOURNAL OF THE INTERNATIONAL SOCIETIES FOR PRECISION ENGINEERING AND NANOTECHNOLOGY, 2004, 28 (01) :46-57
[18]  
Choi EH, 2005, 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, P67
[19]  
CIMATTI A, 2000, P INT J SOFTWARE TOO, V2, P410
[20]  
COELHO J, 2007, P 2 INT C INT WEB AP, P32
12345678