Skip to Main content Skip to Navigation
Reports

Mutation analysis to evaluate Lustre program specifications in the context of model-checking

Lydie Du Bousquet 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Abstract : Mutation analysis is a technique used to evaluate the ad- equacy of a test set with respect to a fault model. This approach is mainly used for unit testing evaluation. It is also used to produce new test data. In this paper, we apply mutation analysis in order to evaluate the accuracy of a specification in the context of reactive program verification by model-checking.
Document type :
Reports
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-00953404
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Monday, April 7, 2014 - 3:53:59 PM
Last modification on : Thursday, October 21, 2021 - 3:48:34 AM
Long-term archiving on: : Monday, July 7, 2014 - 10:40:46 AM

File

RR-LIG-007.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00953404, version 1

Collections

Citation

Lydie Du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. [Research Report] RR-LIG-007, 2010. ⟨hal-00953404⟩

Share

Metrics

Record views

388

Files downloads

418