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

Using Meta-model Coverage to Qualify Test Oracles

Olivier Finot
  • Fonction : Auteur
AELOS
Jean-Marie Mottu
  • Fonction : Auteur
  • PersonId : 20958
  • IdHAL : mottu-jm
AELOS
Gerson Sunyé
Laboratoire d'Informatique de Nantes Atlantique
CV
Thomas Degueule
Laboratoire d'Informatique de Nantes Atlantique

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.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
AMT2013.pdf (243.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Olivier Finot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00918569

Soumis le : vendredi 13 décembre 2013-16:49:09

Dernière modification le : vendredi 5 janvier 2024-03:23:36

Archivage à long terme le : mardi 18 mars 2014-12:50:17

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS LINA LINA-AELOS LS2N NANTES-UNIVERSITE
181 Consultations
223 Téléchargements

Partager

More