Using Meta-model Coverage to Qualify Test OraclesReportar como inadecuado




Using Meta-model Coverage to Qualify Test Oracles - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados