Using Meta-model Coverage to Qualify Test Oracles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Using Meta-model Coverage to Qualify Test Oracles

Olivier Finot
  • Fonction : Auteur
Jean-Marie Mottu
  • Fonction : Auteur
  • PersonId : 20958
  • IdHAL : mottu-jm
Gerson Sunyé

Résumé

The definition of oracle is a significant part of model transformation testing. The tester has to ensure their quality. Rather than using mutation analysis which is an implementation dependent and expensive task, we propose to qualify oracles by measuring their coverage of the transformation's specification.
Fichier principal
Vignette du fichier
AMT2013.pdf (243.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00918569 , version 1 (13-12-2013)

Identifiants

  • HAL Id : hal-00918569 , version 1

Citer

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Thomas Degueule. Using Meta-model Coverage to Qualify Test Oracles. Analysis of Model Transformations, Sep 2013, Miami, United States. pp.1613-0073. ⟨hal-00918569⟩
171 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More