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

Lydie Du Bousquet 1
1 VASCO
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 metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-00953404
Contributor : Catherine Oriat <>
Submitted on : Monday, April 7, 2014 - 3:53:59 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 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

341

Files downloads

185