Mutants Generation For Testing Lustre Programs
Le Van Phol, Nguyen Thanh Binh, Ioannis Parissis · 2017
Lustre is synchronous language, widely used for the development of reactive systems, control systems and monitoring systems, such as nuclear reactors, civil aircraft, automobile vehicles... In particular, Lustre is suitable for developing real-time systems. In such applications, testing activities for fault detection play a very important role. Mutation testing is one of the most commonly used techniques for evaluating the probability of fault detection of test data. Typically, the mutants generated by a set of mutation operators of a programming language are very large, so the manual mutant generation is often very costly. In this paper. we present a mutants generator by using the set of mutation operators defined for the Lustre language. Automatic mutants generation strategy is implemented in the generator in order to reduce test cost. Mutant generation and random test data generation are also experimented on different Lustre programs.