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

被引：29
作者：
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 条
[1]  
Alalfi MH, 2007, LECT NOTES COMPUT SC, V4607, P306
[2]   Rule-based verification of Web sites [J].
M. Alpuente ;
D. Ballis ;
M. Falaschi .
International Journal on Software Tools for Technology Transfer, 2006, 8 (6) :565-585
[3]   A Rewriting-based Framework for Web Sites Verification [J].
Alpuente, M. ;
Ballis, D. ;
Falaschi, M. .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 124 (01) :41-61
[4]  
ALPUENTE M, 2007, P 1 INT C WEB REAS R, P239
[5]  
Alpuente M, 2006, I C SOFTW ENG FORM M, P31
[6]  
Anastasakis K, 2007, LECT NOTES COMPUT SC, V4735, P436
[7]  
Andrews A, 2005, SOFTWARE SYSTEMS MOD, V4, P326, DOI DOI 10.1007/S10270-004-0077-7
[8]   Understanding web applications through dynamic analysis [J].
Antoniol, G ;
Di Penta, M ;
Zazzara, M .
IWPC 2004: 12TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2004, :120-129
[9]  
BALLIS D, 2006, P 2 INT WORKSH AUT S, P11
[10]  
Behrmann G, 2004, LECT NOTES COMPUT SC, V3185, P200
12345678