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 条
  • [31] Time constraint and test case generation in conformance testing
    Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
    不详
    Hsi An Chiao Tung Ta Hsueh, 2006, 4 (381-385):
  • [32] Logical characterisations, rule formats and compositionality for input-output conformance simulation
    Aceto, Luca
    Fabregas, Ignacio
    Gregorio-Rodriguez, Carlos
    Ingolfsdottir, Anna
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 106 (78-106) : 78 - 106
  • [33] A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
    Carvalho, Gustavo
    Sampaio, Augusto
    Mota, Alexandre
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 148 - 164
  • [34] Compositional Verification of Input-Output Conformance via CSP Refinement Checking
    Sampaio, Augusto
    Nogueira, Sidney
    Mota, Alexandre
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 20 - 48
  • [35] Effectiveness for Input Output Conformance Simulation ioco(s)under-bar
    Gregorio-Rodriguez, Carlos
    Llana, Luis
    Martinez-Torres, Rafael
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 100 - 116
  • [36] Automated functional conformance test generation for semantic web services
    Paradkar, Amit M.
    Sinha, Avik
    Williams, Clay
    Johnson, Robert D.
    Outterson, Susan
    Shriver, Charles
    Liang, Carol
    2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 110 - +
  • [37] Automatic generation of conformance tests from Message Sequence Charts
    Baker, P
    Bristow, P
    Jervis, C
    King, D
    Mitchell, B
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 170 - 198
  • [38] Obtaining unique input/output sequences of communication protocols
    Ming Chuan Univ, Taipei, Taiwan
    IEICE Trans Commun, 10 (1509-1513):
  • [39] Obtaining unique input/output sequences of communication protocols
    Chen, WH
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1997, E80B (10) : 1509 - 1513
  • [40] A two-level approach to automated conformance testing of VHDL designs
    Moonen, J
    Romijn, J
    Sies, O
    Springintveld, J
    Feijs, L
    Koymans, R
    TESTING OF COMMUNICATING SYSTEMS, VOL 10, 1997, : 432 - 447
12345