Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts

被引:3
|
作者
Benito-Parejo, Miguel [1 ]
Merayo, Mercedes G. [2 ]
机构
[1] Univ Complutense Madrid, Dept Sistemas Informat & Comp, Madrid, Spain
[2] Univ Complutense Madrid, Inst Knowledge Technol, Madrid, Spain
来源
2021 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC 2021) | 2021年
关键词
Genetic algorithms; Selection of test cases; Testing from FSMs; Timeouts; TIMED SYSTEMS; TOOL;
D O I
10.1109/CEC45853.2021.9504764
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Testing software is an expensive and time consuming task. This drawback increases in the case that the system presents timeouts which affect the functional behaviour. In this case, it is necessary to invest more time to apply the test cases. Thus, it is desirable to diminish the amount of test cases to be applied and, consequently, the time devoted to test the system, as long as the fault detection capacity of the test cases is not affected. In this work, we introduce a genetic algorithm that selects a subset of test cases from an initial test suite for systems that present timeouts, with the goal of keeping a good level of effectiveness. We report on several experiments performed to compare the generated solutions with random selection and the original test suite.
引用
收藏
页码:2403 / 2410
页数:8
相关论文
共 50 条
  • [1] Adaptive Experiments for State Identification in Finite State Machines with Timeouts
    Tvardovskii, Aleksandr
    Yevtushenko, Nina
    MACHINES, COMPUTATIONS, AND UNIVERSALITY (MCU 2022), 2022, 13419 : 172 - 188
  • [2] Genetic algorithms - synthesis of finite state machines
    Popov, A
    Filipova, K
    27th International Spring Seminar on Electronics Technology, Books 1-3, Conference Proceedings: MEETING THE CHALLENGES OF ELECTRONICS TECHNOLOGY PROGRESS, 2004, : 388 - 392
  • [3] Parallel composition of nondeterministic Finite State Machines with Timeouts
    Kondratyeva, Olga, V
    Yevtushenko, Nina, V
    Cavalli, Ana R.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2014, 27 (02): : 73 - 81
  • [4] Deriving homing sequences for Finite State Machines with timeouts
    Tvardovskii, Aleksandr
    Yevtushenko, Nina
    COMPUTER JOURNAL, 2023, 66 (09): : 2181 - 2190
  • [5] Testing finite state machines presenting stochastic time and timeouts
    Merayo, Mercedes G.
    Nunez, Manuel
    Rodriguez, Ismael
    FORMAL METHODS AND STOCHASTIC MODELS FOR PERFORMANCE EVALUATION, 2007, 4748 : 97 - +
  • [6] Solving identification problem for asynchronous finite state machines using genetic algorithms
    Geng, Xiaojun
    GECCO 2006: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2006, : 1413 - 1414
  • [7] Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines
    Mariano, Matheus Monteiro
    de Souza, Erica Ferreira
    Endo, Andre Takeshi
    Vijaykumar, Nandamudi Lankalapalli
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2019, 35 (06): : 867 - 885
  • [8] Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines
    Matheus Monteiro Mariano
    Érica Ferreira de Souza
    André Takeshi Endo
    Nandamudi Lankalapalli Vijaykumar
    Journal of Electronic Testing, 2019, 35 : 867 - 885
  • [9] Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts
    Tvardovskii, Aleksandr
    El-Fakih, Khaled
    Yevtushenko, Nina
    TESTING SOFTWARE AND SYSTEMS (ICTSS 2018), 2018, 11146 : 149 - 154
  • [10] Analyzing graph-based algorithms employed to generate test cases from finite state machines
    Mariano, Matheus Monteiro
    Souza, Erica F.
    Endo, Andre T.
    Vijaykumar, Nandamudi L.
    2019 20TH IEEE LATIN AMERICAN TEST SYMPOSIUM (LATS), 2019,