Search-based mutation testing for Simulink models

The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that mutation testing is highly effective. This paper describes how search-based automatic test-data generation methods can be used to find mutation adequate test-sets for Matlab/Simulink models. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging – testing tools (e.g. data generator, coverage testing). General Terms Verification. Keywords Matlab/Simulink, mutation testing, test-data generation, automation, heuristic search, simulated annealing.

• Type: Conference
• Year: 2005
• Where: GECCO
• Authors: Yuan Zhan, John A. Clark
• Keywords: GECCO 2005, Mutation Testing, Software Engineering, Test-data Generation