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 条
  • [41] Automatic generating test cases for testing web applications
    Chen, Shengbo
    Miao, Huaikou
    Qian, Zhongsheng
    CIS WORKSHOPS 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY WORKSHOPS, 2007, : 881 - 885
  • [42] Extracting Database Interactions and Generating Test for Web Applications
    Song, Bo
    Miao, Huaikou
    Zhu, Bin
    COMPUTER AND INFORMATION SCIENCE 2009, 2009, 208 : 203 - 212
  • [43] The use of sparse CT datasets for auto-generating accurate FE models of the femur and pelvis
    Shim, Vickie B.
    Pitto, Rocco P.
    Streicher, Robert M.
    Hunter, Peter J.
    Anderson, Iain A.
    JOURNAL OF BIOMECHANICS, 2007, 40 (01) : 26 - 35
  • [44] SEER: Auto-Generating Information Extraction Rules from User-Specified Examples
    Hanafi, Maeda F.
    Abouzied, Azza
    Chiticariu, Laura
    Li, Yunyao
    PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), 2017, : 6672 - 6682
  • [45] AUTO-GENERATING NEURAL NETWORKS WITH REINFORCEMENT LEARNING FOR MULTI-PURPOSE IMAGE FORENSICS
    Wei, Yujun
    Chen, Yifang
    Kang, Xiangui
    Wang, Z. Jane
    Xiao, Liang
    2020 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO (ICME), 2020,
  • [46] Auto-Generating Multimedia Language Learning Material for Children with Off-the-Shelf AI
    Draxler, Fiona
    Haller, Laura
    Schmidt, Albrecht
    Chuang, Lewis L.
    MUC 2022: PROCEEDINGS OF MENSCH UND COMPUTER 2022, 2022, : 96 - 105
  • [47] A Reinforcement Learning Approach to Generating Test Cases for Web Applications
    Chang, Xiaoning
    Liang, Zheheng
    Zhang, Yifei
    Cui, Lei
    Long, Zhenyue
    Wu, Guoquan
    Gao, Yu
    Chen, Wei
    Wei, Jun
    Huang, Tao
    2023 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, 2023, : 13 - 23
  • [48] Modeling Database Interactions in Web applications and Generating Test Cases
    Song, Bo
    Miao, Huaikou
    Chen, Zhongyu
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 216 - +
  • [49] Generating Test Case from Functional Requirement of Web Applications
    Zhu, Bin
    Miao, Huaikou
    Zeng, Hongwei
    Chen, Shengbo
    PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, VOL II, 2009, : 465 - 468
  • [50] Workflow-based Modeling of Web Application and Automatically Generating Test Sequences
    Dong, Lulu
    Li, Hua
    Zhang, Sumei
    2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 378 - 381
12345