Skip to Main content Skip to Navigation
Conference papers

Using Meta-model Coverage to Qualify Test Oracles

Olivier Finot 1 Jean-Marie Mottu 1 Gerson Sunyé 2 Thomas Degueule 2 
1 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00918569
Contributor : Olivier Finot Connect in order to contact the contributor
Submitted on : Friday, December 13, 2013 - 4:49:09 PM
Last modification on : Wednesday, April 27, 2022 - 4:28:33 AM
Long-term archiving on: : Tuesday, March 18, 2014 - 12:50:17 PM

File

AMT2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00918569, version 1

Citation

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⟩

Share

Metrics

Record views

160

Files downloads

171