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
相关论文
共 35 条
[1]  
[Anonymous], 1996, Genetic algorithms+data structures=evolution programs
[2]  
[Anonymous], 2017, INTRO SOFTWARE TESTI
[3]  
Benito-Parejo M, 2020, IEEE C EVOL COMPUTAT
[4]   Using Genetic Algorithms to Generate Test Suites for FSMs [J].
Benito-Parejo, Miguel ;
Medina-Bulo, Inmaculada ;
Merayo, Mercedes G. ;
Nunez, Manuel .
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2019, PT I, 2019, 11506 :741-752
[5]   MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets [J].
Boubeta-Puig, Juan ;
Diaz, Gregorio ;
Macia, Hermenegilda ;
Valero, Valentin ;
Ortiz, Guadalupe .
INFORMATION SYSTEMS, 2019, 81 :267-289
[6]  
Briones LB, 2005, LECT NOTES COMPUT SC, V3785, P264
[7]   Mutomvo: Mutation testing framework for simulated cloud and HPC environments [J].
Canizares, Pablo C. ;
Nunez, Alberto ;
Merayo, Mercedes G. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2018, 143 :187-207
[8]   Conformance tests for real-time systems with timed automata specifications [J].
Cardell-Oliver, Rachel .
Formal Aspects of Computing, 2000, 12 (05) :350-366
[9]  
Cardell-Oliver R, 1998, LECT NOTES COMPUT SC, V1486, P251, DOI 10.1007/BFb0055352
[10]   MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams [J].
Corral-Plaza, David ;
Ortiz, Guadalupe ;
Medina-Bulo, Inmaculada ;
Boubeta-Puig, Juan .
KNOWLEDGE-BASED SYSTEMS, 2021, 213