Auto-generating test sequences for Web applications

被引:0
作者
Zeng, Hongwei [1 ]
Miao, Huaikou [1 ]
机构
[1] Shanghai Univ, Sch Engn & Comp Sci, Shanghai 200072, Peoples R China
来源
WEB ENGINEERING, PROCEEDINGS | 2007年 / 4607卷
基金
美国国家科学基金会;
关键词
Web application; test generation; model checking; consistency relation;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We propose a formal model, representing the navigation behavior of a Web application as the Kripke structure, and an approach to test generation. The behavior model can be constructed from the object structure of a Web application and then a set of test sequences is derived automatically from the behavior model with respect to some coverage criteria for the object structure by using the model checking's capability to construct counter-examples.
引用
收藏
页码:301 / +
页数:2
相关论文
共 10 条
  • [1] Andrews A. A., 2005, SOFTWARE SYSTEMS MOD, V4, P326, DOI DOI 10.1007/S10270-004-0077-7
  • [2] Belli F, 2004, LECT NOTES COMPUT SC, V3280, P907
  • [3] A Model Checking-based Method for Verifying Web Application Design
    Donini, Francesco Maria
    Mongiello, Marina
    Ruta, Michele
    Totaro, Rodolfo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (02) : 19 - 32
  • [4] Gargantini A, 1999, LECT NOTES COMPUT SC, V1687, P146, DOI 10.1145/318774.318939
  • [5] Haydar M, 2004, LECT NOTES COMPUT SC, V3235, P115
  • [6] Heimdahl MPE, 2004, LECT NOTES COMPUT SC, V2931, P42
  • [7] HONG HS, 2001, P 1 INT WORKSH FORM, P15
  • [8] An Object-Oriented Web Test Model for testing Web applications
    Kung, DC
    Liu, CH
    Hsia, P
    [J]. FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 111 - 120
  • [9] MCMILLAN KL, 2006, SMV SYSTEM SMV VERSI
  • [10] Testing processes of Web applications
    Ricca, F
    Tonella, P
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 93 - 114