Automated unique input output sequence generation for conformance testing of FSMs

被引：0
|
作者：
Derderian, K [1 ]
Hierons, RM
Harman, M
Guo, Q
机构：
[1] Brunel Univ, Dept Informat Syst & Comp, Uxbridge UB8 3PH, Middx, England
[2] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
[3] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England
来源：
COMPUTER JOURNAL | 2006年 / 49卷 / 03期
关键词：
finite state machine; unique input output sequence; state verification; conformance testing; genetic algorithm;
D O I：
10.1093/comjnl/bxl003
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.
引用
收藏
页码：331 / 344
页数：14
相关论文
共 35 条
  • [1] Evolutionary generation of unique input/output sequences for class behavioral testing
    Li, Jinhua
    Bao, Wensheng
    Zhao, Yun
    Ma, Zhibing
    Dong, Huangzhen
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2009, 57 (11-12) : 1800 - 1807
  • [2] A study on the extended unique input/output sequence
    Zhang, Xinchang
    Yang, Meihong
    Zhang, Jian
    Shi, Huiling
    Zhang, Wei
    INFORMATION SCIENCES, 2012, 203 : 44 - 58
  • [3] Conformance testing of FMI calling sequence for simulation environments
    Mukbil, Awad
    Durak, Umut
    Hartmann, Sven
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2019, 10 (02)
  • [4] Obtaining unique input/output sequences of communication protocols
    Chen, WH
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1997, E80B (10) : 1509 - 1513
  • [5] Synchronizable test sequence for multi-party protocol conformance testing
    Wu, WJ
    Chen, WH
    Tang, CY
    COMPUTER COMMUNICATIONS, 1998, 21 (13) : 1177 - 1183
  • [6] Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
    van der Wal, Djurre
    Gerhold, Marcus
    Stoelinga, Marielle
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2023, 2023, 14290 : 242 - 258
  • [7] Testing transition systems with input and output testers
    Petrenko, A
    Yevtushenko, N
    Le Huo, J
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 129 - 145
  • [8] A method enabling feasible conformance test sequence generation for EFSM models
    Duale, AY
    Uyar, MÜ
    IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (05) : 614 - 627
  • [9] Computing unique input/output sequences using genetic algorithms
    Guo, Q
    Hierons, RM
    Harman, M
    Derderian, K
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 164 - 177
  • [10] Separating sequence overlap for automated test sequence generation
    R. M. Hierons
    Automated Software Engineering, 2006, 13 (2) : 283 - 301
1234