Component Based Testing with ioco

Machiel van der Bijl; Arend Rensink; Jan Tretmans

Component Based Testing with ioco

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Research output: Book/Report › Report › Professional

125 Downloads (Pure)

Abstract

Component based testing concerns the integration of components which have already been tested separately. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for component based testing, in the sense that the integration of fully conformant components is guaranteed to be correct. As a consequence, there is no need to re-test the integrated system for conformance. This result is also relevant for testing in context, since it implies that every failure of a system embedded in a test context can be reduced to a fault of the system itself.

Original language	English
Place of Publication	Enschede
Publisher	University of Twente
Number of pages	44
Publication status	Published - Aug 2003

Publication series

Name	CTIT technical report series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	TR-CTIT-03-34
ISSN (Print)	1381-3625

Access to Document

VanderBijl2003componentFinal published version, 400 KB

Cite this

@book{25334daa0b6046c99fb3d868b5f37574,

title = "Component Based Testing with ioco",

abstract = "Component based testing concerns the integration of components which have already been tested separately. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for component based testing, in the sense that the integration of fully conformant components is guaranteed to be correct. As a consequence, there is no need to re-test the integrated system for conformance. This result is also relevant for testing in context, since it implies that every failure of a system embedded in a test context can be reduced to a fault of the system itself.",

author = "\{van der Bijl\}, Machiel and Arend Rensink and Jan Tretmans",

year = "2003",

month = aug,

language = "English",

series = "CTIT technical report series",

publisher = "University of Twente",

number = "TR-CTIT-03-34",

address = "Netherlands",

}

TY - BOOK

T1 - Component Based Testing with ioco

AU - van der Bijl, Machiel

AU - Rensink, Arend

AU - Tretmans, Jan

PY - 2003/8

Y1 - 2003/8

N2 - Component based testing concerns the integration of components which have already been tested separately. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for component based testing, in the sense that the integration of fully conformant components is guaranteed to be correct. As a consequence, there is no need to re-test the integrated system for conformance. This result is also relevant for testing in context, since it implies that every failure of a system embedded in a test context can be reduced to a fault of the system itself.

AB - Component based testing concerns the integration of components which have already been tested separately. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for component based testing, in the sense that the integration of fully conformant components is guaranteed to be correct. As a consequence, there is no need to re-test the integrated system for conformance. This result is also relevant for testing in context, since it implies that every failure of a system embedded in a test context can be reduced to a fault of the system itself.

M3 - Report

T3 - CTIT technical report series

BT - Component Based Testing with ioco

PB - University of Twente

CY - Enschede

ER -

Component Based Testing with ioco

Abstract

Publication series

Access to Document

Fingerprint

Cite this