Adaptive executable test sequences generation from an extended finite state machine

被引：0
|
作者：
Shu, Ting [1 ]
Liu, Lianggui [1 ]
Xu, Weiqiang [1 ]
Li, Wenshu [1 ]
机构：
[1] School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310018, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2012年 / 49卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1211 / 1219
相关论文
共 50 条
  • [1] Automatic executable test case generation for extended finite state machine protocols
    Bourhfir, C
    Dssouli, R
    Aboulhamid, E
    Rico, N
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 75 - 90
  • [2] Adaptive generation algorithm for executable state identification sequences in EFSM model
    Shu T.
    Sun S.-Q.
    Wang H.-N.
    Xu W.-Q.
    Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2010, 44 (11): : 2183 - 2187+2213
  • [3] Automatic test generation from communicating extended finite state machine (CEFSM)-based models
    Li, JJ
    Wong, WE
    ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 181 - 185
  • [4] A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
    Kalaji, AbdulSalam
    Hierons, Robert M.
    Swift, Stephen
    2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009, 2009, : 131 - 132
  • [5] An assessment of extended finite state machine test selection criteria
    El-Fakih, Khaled
    Simao, Adenilso
    Jadoon, Noshad
    Maldonado, Jose Carlos
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 123 : 106 - 118
  • [6] GENERATION OF ADAPTIVE TEST CASES FROM NONDETERMINISTIC FINITE-STATE MODELS
    TRIPATHY, P
    NAIK, K
    PROTOCOL TEST SYSTEMS, V, 1993, 11 : 309 - 320
  • [7] A method for executable protocol conformance test sequences generation using parametric executable analysis tree
    Shu, Ting
    Yang, Guanghui
    Xia, Jinsong
    Journal of Computational Information Systems, 2015, 11 (06): : 2287 - 2294
  • [8] Deriving test sequences from finite state machines
    Stoll, Wilhelm
    Proceedings of the International Conference on Computer Communication, 1991,
  • [9] Test suite generation techniques based on extended finite state machines
    Liang, Xiao-Ya
    Xiao, De-Bao
    Zhongshan Daxue Xuebao/Acta Scientiarum Natralium Universitatis Sunyatseni, 2006, 45 (SUPPL.): : 240 - 242
  • [10] A Hybrid Test Generation Approach based on Extended Finite State Machines
    Turlea, Ana
    Ipate, Florentin
    Lefticaru, Raluca
    PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 173 - 180
12345