Skip to Main content Skip to Navigation
Conference papers

Mutation analysis for Lustre programs: Fault model description and validation

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Lydie Du Bousquet Connect in order to contact the contributor
Submitted on : Thursday, February 11, 2016 - 10:59:37 AM
Last modification on : Thursday, October 21, 2021 - 3:47:00 AM




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⟩



Les métriques sont temporairement indisponibles