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 条
  • [31] Optimal test sequence generation in state based testing using moth flame optimization algorithm
    Sharma, Rashmi
    Saha, Anju
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2018, 35 (05) : 5203 - 5215
  • [32] Approach for Automated Test Data Generation for Path Testing in Aspect-Oriented Programs using Genetic Algorithm
    Khandelwal, Juhi
    Tomar, Pradeep
    2015 INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION & AUTOMATION (ICCCA), 2015, : 854 - 858
  • [33] Multi-Task Optimization-Based Test Data Generation for Mutation Testing via Relevance of Mutant Branch and Input Variable
    Dang, Xiangying
    Yao, Xiangjuan
    Gong, Dunwei
    Tian, Tian
    Sun, Baicai
    IEEE ACCESS, 2020, 8 : 144401 - 144412
  • [34] Automated test data generation for branch testing using genetic algorithm: An improved approach using branch ordering, memory and elitism
    Pachauri, Ankur
    Srivastava, Gursaran
    JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (05) : 1191 - 1208
  • [35] An Automated Path-Focused Test Case Generation with Dynamic Parameterization Using Adaptive Genetic Algorithm (AGA) for Structural Program Testing
    Rajagopal, Manikandan
    Sivasakthivel, Ramkumar
    Loganathan, Karuppusamy
    Sarris, Loannis E.
    INFORMATION, 2023, 14 (03)
1234