It is unaffordable to apply all the possible tests to an implementation in order to assess its correctness. Therefore, it is necessary to select relatively small subsets of tests that can detect many errors. In this paper we use different approaches to select these test suites. In order to decide how good a test suite is, we confront it with a set of mutants, that is, small variations of the specification of the system to be developed. The goal is that our algorithms build test suites that kill as many mutants as possible. We compare the different approaches (consider all the possible subsets up to a given number of inputs, intelligent greedy algorithm and different genetic algorithms) and discuss the obtained results. The whole framework has been fully implemented and the tool is freely available.
CITATION STYLE
Benito-Parejo, M., Medina-Bulo, I., Merayo, M. G., & Núñez, M. (2019). Using Genetic Algorithms to Generate Test Suites for FSMs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11506 LNCS, pp. 741–752). Springer Verlag. https://doi.org/10.1007/978-3-030-20521-8_61
Mendeley helps you to discover research relevant for your work.