Using Meta-model Coverage to Qualify Test Oracles

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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00918569
Contributor : Olivier Finot <>
Submitted on : Friday, December 13, 2013 - 4:49:09 PM
Last modification on : Monday, August 27, 2018 - 11:18:05 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

Collections

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

249

Files downloads

199