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 条
  • [21] Auto-Generating Training Data for Network Application Classification
    Alcantara, Carlos
    Dasari, Venkat
    Mendoza, Christopher
    McGarry, Michael P.
    DISRUPTIVE TECHNOLOGIES IN INFORMATION SCIENCES II, 2019, 11013
  • [22] Auto-Generating Visual Exercises for Learning Program Semantics
    Smith, Rebecca
    Tang, Terry
    Warren, Joe
    Rixner, Scott
    PROCEEDINGS OF THE 2019 ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION (ITICSE '19), 2019, : 360 - 366
  • [23] Auto-Generating Fuzzy System Modelling of Physical Systems
    Hassanein, O.
    Anavatti, Sreenatha G.
    Shim, Hyungbo
    Salman, S. A.
    2015 IEEE CONFERENCE ON CONTROL AND APPLICATIONS (CCA 2015), 2015, : 1142 - 1147
  • [24] Architectures and Algorithms for Auto-generating Examination Paper System
    Wang, Xiuhui
    Wen, Junqin
    2010 3RD INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI 2010), VOLS 1-7, 2010, : 2893 - 2895
  • [25] From software to hardware - A novel TLM auto-generating method
    Zhu, Liang
    Bian, Jinian
    2006 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS, 2006, : 1725 - +
  • [26] Adaptive observer using auto-generating B-splines
    Baang, Dane
    Stoev, Julian
    Choi, Jin Young
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2007, 5 (05) : 479 - 491
  • [27] Auto-generating Virtual Human Behavior by Understanding User Contexts
    Kim, Hanseob
    Ali, Ghazanfar
    Kim, Seungwon
    Kim, Gerard J.
    Hwang, Jae-In
    2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), 2021, : 591 - 592
  • [28] Auto-generating a database on the fabrication details of perovskite solar devices
    Valencia, Agnes
    Liu, Fei
    Zhang, Xiangyang
    Bo, Xiangkun
    Li, Weilu
    Daoud, Walid A.
    SCIENTIFIC DATA, 2025, 12 (01)
  • [29] Research on Auto-Generating Test-Paper Model Based on Spatial-Temporal Clustering Analysis
    Fan, Yuling
    Dong, Likai
    Sun, Xuesong
    Wang, Dong
    Qin, Wang
    Cao Aizeng
    INTELLIGENT COMPUTING THEORIES AND APPLICATION, PT II, 2018, 10955 : 526 - 535
  • [30] Mayo: A Framework for Auto-generating Hardware Friendly Deep Neural Networks
    Zhao, Yiren
    Gao, Xitong
    Mullins, Robert
    Xu, Chengzhong
    PROCEEDINGS OF THE 2018 INTERNATIONAL WORKSHOP ON EMBEDDED AND MOBILE DEEP LEARNING (EMDL '18), 2018, : 25 - 30
12345