From faults via test purposes to test cases: On the fault-based testing of concurrent systems

Bernhard K. Aichernig, Carlo Corrales Delgado

Producción científica: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

30 Citas (Scopus)

Resumen

Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a theory and technique for generating fault-based test cases for concurrent systems. The novel idea is to generate test purposes from faults that have been injected into a model of the system under test. Such test purposes form a specification of a more detailed test case that can detect the injected fault. The theory is based on the notion of refinement. The technique is automated using the TGV test case generator and an equivalence checker of the CADP tools. A case study of testing web servers demonstrates the practicability of the approach.

Idioma originalInglés
Título de la publicación alojadaFundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings
Páginas324-338
Número de páginas15
DOI
EstadoPublicada - 2006
Publicado de forma externa
Evento9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - Vienna, Austria
Duración: 27 mar. 200628 mar. 2006

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen3922 LNCS
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
País/TerritorioAustria
CiudadVienna
Período27/03/0628/03/06

Huella

Profundice en los temas de investigación de 'From faults via test purposes to test cases: On the fault-based testing of concurrent systems'. En conjunto forman una huella única.

Citar esto