Universidad Complutense de Madrid
E-Prints Complutense

Advantages of mutation in passive testing: An empirical study

Impacto

Descargas

Último año

García Merayo, Mercedes y Andrés Sánchez, César y Molinero Brizuela, Carlos (2009) Advantages of mutation in passive testing: An empirical study. ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops . 230-239 .

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

535kB

URL Oficial: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=04976391


URLTipo de URL
http://www.ieee.org/Institución


Resumen

This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected in the invariant. We briefly review the theoretical framework of our methodology and the main features of our tool. Next, we present in detail the Mutants module that provides us with a functionality to test the effectiveness of invariants for detecting errors. Finally, we present a study of the results obtained from the performed experiments.


Tipo de documento:Artículo
Información Adicional:

International Conference on Software Testing, Verification, and Validation Workshops. APR 01-04, 2009. Denver, CO.

Palabras clave:Timed systems; Formal approach
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15604
Depositado:13 Jun 2012 07:52
Última Modificación:13 Jun 2012 07:52

Descargas en el último año

Sólo personal del repositorio: página de control del artículo