Mutation analysis to evaluate Lustre program specifications in the context of model-checking - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

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

Résumé

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.
Fichier principal
Vignette du fichier
RR-LIG-007.pdf (9.35 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00953404 , version 1 (07-04-2014)

Identifiants

  • HAL Id : hal-00953404 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More