Mutation analysis for Lustre programs: Fault model description and validation

Lydie Du Bousquet 1 Michel Delaunay 2
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
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 metadatas

https://hal.archives-ouvertes.fr/hal-01272641
Contributor : Lydie Du Bousquet <>
Submitted on : Thursday, February 11, 2016 - 10:59:37 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

109