Using Meta-model Coverage to Qualify Test OraclesReport as inadecuate




Using Meta-model Coverage to Qualify Test Oracles - Download this document for free, or read online. Document in PDF available to download.

1 AELOS LINA - Laboratoire d-Informatique de Nantes Atlantique 2 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.

keyword : Test Oracle Quality Meta-model Coverage





Author: Olivier Finot - Jean-Marie Mottu - Gerson Sunyé - Thomas Degueule -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents