2026-06-01T09:02:55Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/81692026-02-03T11:13:01Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Ferrer-Urbano, Francisco Javier author Kruse, Peter M. author Chicano-García, José-Francisco author Alba-Torres, Enrique author 2014-10-03 The generation of dynamic test sequences from a formal specification, complementing traditional testing methods in order to find errors in the source code. Objective In this paper we extend one specific combinatorial test approach, the Classification Tree Method (CTM), with transition information to generate test sequences. Although we use CTM, this extension is also possible for any combinatorial testing method. Method The generation of minimal test sequences that fulfill the demanded coverage criteria is an NP-hard problem. Therefore, search-based approaches are required to find such (near) optimal test sequences. Results The experimental analysis compares the search-based technique with a greedy algorithm on a set of 12 hierarchical concurrent models of programs extracted from the literature. Our proposed search-based approaches (GTSG and ACOts) are able to generate test sequences by finding the shortest valid path to achieve full class (state) and transition coverage. Conclusion The extended classification tree is useful for generating of test sequences. Moreover, the experimental analysis reveals that our search-based approaches are better than the greedy deterministic approach, especially in the most complex instances. All presented algorithms are actually integrated into a professional tool for functional testing. DOI: 10.1016/j.infsof.2014.07.014 http://hdl.handle.net/10630/8169 Algoritmos genéticos Search based algorithms for test sequence generation in functional testing