Optimizing Mutant Generation For Lustre Programs With Multi-Threading
Le Van Phol, Nguyễn Thanh Bình · 2020
Mutation testing is a white box testing technique, this technique can be automated at several steps of the mutation testing process. But the execution time is one of the limitations that researchers on mutation testing are interested in solving. In our project, we plan to develop a mutation testing framework for the Lustre language, which is popularly used for reactive systems. In our previous studies, we have proposed a set of mutation operators for Lustre programs, and an automatic mutation tool to generate first-order and higher-order mutants. However, the performance of the tool is a bit low when generating mutants for Lustre programs. In this paper, we focus on improving the mutant generation by implementing multi-threading technique. The experimentation shows that the approach saves execution time.