Mutation analysis for Lustre programs: Fault model description and validation

Lydie Du Bousquet (1) , Michel Delaunay (2)

1 VASCO - Validation de Systèmes, Composants et Objets logiciels
2 LIG - Laboratoire d'Informatique de Grenoble

Mutation analysis is usually used to provide an indication of the fault detection ability of a test set. It is mainly used for unit testing evaluation, but has also been extended for integration testing evaluation. This paper describes adaptation of mutation analysis to the Lustre programming language, including both unit and integration testing. This paper focuses on the fault model, which has been extended since our previous works. Validation of the fault model is presented.

Mots clés: Lustre programming language; fault model description; fault model validation; mutation analysis

Domaines: Génie logiciel [cs.SE]

Lydie Du Bousquet, Michel Delaunay. Mutation analysis for Lustre programs: Fault model description and validation. Testing: Academic and Industrial Conference Practice and Research Techniques. TAICPART-MUTATION 2007, Sep 2007, Cumberland Lodge, Windsor, United Kingdom. pp.176-184, ⟨10.1109/TAIC.PART.2007.27⟩. ⟨hal-01272641⟩