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
相关论文
共 50 条
  • [21] Test case generation and reduction by automated input-output analysis
    Saraph, P
    Last, M
    Kandel, A
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 768 - 773
  • [22] A complete test sequence using cyclic sequence for conformance testing
    Nyang, D
    Lim, SY
    Song, J
    COMPUTER COMMUNICATIONS, 1999, 22 (15-16) : 1447 - 1456
  • [23] Sound and mechanised compositional verification of input-output conformance
    Sampaio, Augusto
    Nogueira, Sidney
    Mota, Alexandre
    Isobe, Yoshinao
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2014, 24 (04): : 289 - 319
  • [24] Complete test sequence using cyclic sequence for conformance testing
    Nyang, D.
    Lim, S.Y.
    Song, J.
    Computer Communications, 1999, 22 (15): : 1447 - 1456
  • [25] Logical Characterisations and Compositionality of Input-Output Conformance Simulation
    Aceto, Luca
    Fabregas, Ignacio
    Gregorio-Rodriguez, Carlos
    Ingolfsdottir, Anna
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 37 - 48
  • [26] Conformance Testing Based on UML State Machines Automated Test Case Generation, Execution and Evaluation
    Seifert, Dirk
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 45 - 65
  • [27] Automated Conformance Testing of Java']Java Virtual Machines
    Calvagna, Andrea
    Tramontana, Emiliano
    2013 SEVENTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT, AND SOFTWARE INTENSIVE SYSTEMS (CISIS), 2013, : 547 - 552
  • [28] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3103 : 1429 - 1430
  • [29] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 1429 - 1430
  • [30] 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)
12345