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 条
  • [1] Automated unique input output sequence generation or conformance testing of FSMs
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Computer Journal, 2006, 49 (03): : 331 - 344
  • [2] Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
    Timo, Omer Nguena
    Petrenko, Alexandre
    Ramesh, S.
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 354 - 375
  • [3] Decomposability in Input Output Conformance Testing
    Noroozi, Neda
    Mousavi, Mohammad Reza
    Willemse, Tim A. C.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 51 - 66
  • [4] On the Complexity of Input Output Conformance Testing
    Noroozi, Neda
    Mousavi, Mohammad Reza
    Willemse, Tim A. C.
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 291 - 309
  • [5] Asynchronous Input-Output Conformance Testing
    Weiglhofer, Martin
    Wotawa, Franz
    2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 154 - 159
  • [6] Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
    Luthmann, Lars
    Mennicke, Stephan
    Lochau, Malte
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 54 - 72
  • [7] Hybrid input-output conformance and test generation
    van Osch, Michiel
    Formal Approaches to Software Testing and Runtime Verification, 2006, 4262 : 70 - 84
  • [8] 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
  • [9] Input-output conformance testing for software product lines
    Beohar, Harsh
    Mousavi, Mohammad Reza
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (06) : 1131 - 1153
  • [10] 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
12345