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.
Type de document :
Rapport
[Research Report] RR-LIG-007, 2010
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00953404
Contributeur : Catherine Oriat <>
Soumis le : lundi 7 avril 2014 - 15:53:59
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40
Document(s) archivé(s) le : lundi 7 juillet 2014 - 10:40:46

Fichier

RR-LIG-007.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

329

Téléchargements de fichiers

165