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 条
  • [21] NEAT Algorithm for Testsuite generation in Automated Software Testing
    Raj, H. L. Praveen
    Chandrasekaran, K.
    2018 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2018, : 2361 - 2368
  • [22] A Match-based Approach to Optimize Conformance Test Sequence Generation using Mp-method
    Xiao, Jitian
    2009 INTERNATIONAL FORUM ON COMPUTER SCIENCE-TECHNOLOGY AND APPLICATIONS, VOL 1, PROCEEDINGS, 2009, : 392 - 395
  • [23] Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
    Liu, Shaoying
    Nakajima, Shin
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (02) : 691 - 712
  • [24] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    Faria, Joao Pascoal
    Paiva, Ana C. R.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (03) : 285 - 304
  • [25] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    João Pascoal Faria
    Ana C. R. Paiva
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 285 - 304
  • [26] Search based algorithms for test sequence generation in functional testing
    Ferrer, Javier
    Kruse, Peter M.
    Chicano, Francisco
    Alba, Enrique
    INFORMATION AND SOFTWARE TECHNOLOGY, 2015, 58 : 419 - 432
  • [27] Dynamical Sequence Generation Performance Testing Method and Its Application
    Sun, Yongzhen
    Zheng, Wei
    2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 186 - 191
  • [28] Automated test data generation for branch testing using incremental genetic algorithm
    T Manikumar
    A John Sanjeev Kumar
    R Maruthamuthu
    Sādhanā, 2016, 41 : 959 - 976
  • [29] Automated test data generation for branch testing using incremental genetic algorithm
    Manikumar, T.
    Kumar, A. John Sanjeev
    Maruthamuthu, R.
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2016, 41 (09): : 959 - 976
  • [30] Automated Test Case Generation and Its Optimization for Path Testing Using Genetic Algorithm and Sampling
    Mohapatra, Debasis
    Bhuyan, Prachet
    Mohapatra, Durga P.
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 643 - +
1234