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
相关论文
共 50 条
  • [1] Auto-generating test sequences using model checkers: A case study
    Heimdahl, MPE
    Rayadurgam, S
    Visser, W
    Devaraj, G
    Gao, JM
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 42 - 59
  • [2] ON THE STUDY OF INTELLIGENT ALGORITHM IN THE AUTO-GENERATING TEST PAPER
    Qi, Wenqing
    3RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE (ITCS 2011), PROCEEDINGS, 2011, : 457 - 460
  • [3] Auto-Generating Diverse Heterogeneous Designs
    Vandebon, Jessica
    Coutinho, Jose G. F.
    Luk, Wayne
    2024 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW 2024, 2024, : 116 - 123
  • [4] Research on Test Paper Auto-Generating Based on Immune Genetic Algorithm
    Zhou Yan-cong
    Gu Jun-hua
    Sun Xiao-chen
    Dong Yong-Feng
    Fan Ming
    2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, : 2498 - +
  • [5] Research on intelligent auto-generating test paper based on ant colony algorithm
    Zhang Minxia
    Huang Jian
    2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 615 - 618
  • [6] Research on Auto-generating Test Paper System Based on LDA and Genetic Algorithm
    Xiong, Kai
    Huang, Xiaojun
    PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018, : 416 - 421
  • [7] Facade: Auto-generating Tactile Interfaces to Appliances
    Guo, Anhong
    Kim, Jeeeun
    Chen, Xiang 'Anthony'
    Yeh, Tom
    Hudson, Scott E.
    Mankoff, Jennifer
    Bigham, Jeffrey P.
    ASSETS'16: PROCEEDINGS OF THE 18TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS AND ACCESSIBILITY, 2016, : 315 - 316
  • [8] An auto-generating method in the fuzzy system design
    Wong, CC
    Her, SM
    PROCEEDINGS OF THE SIXTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS I - III, 1997, : 1651 - 1656
  • [9] An auto-generating tool for the MPEG-2 formatted test data: ATEP
    Choi, B
    Yeum, S
    Gwak, T
    Min, B
    12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2001, : 192 - 199
  • [10] Research on Test Paper Auto-Generating Based on Improved Particle Swarm Optimization
    Zhang, Chong
    Zhang, Jing
    2015 SEVENTH INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS AND PROGRAMMING (PAAP), 2015, : 92 - 96
12345