Component Based Testing with ioco

H.M. van der Bijl, Arend Rensink, G.J. Tretmans

Research output: Book/ReportReportProfessional

22 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 languageUndefined
Place of PublicationEnschede
PublisherFormal Methods & Tools
Number of pages44
Publication statusPublished - Aug 2003

Publication series

NameCTIT-technical reports
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.2003-..

Keywords

  • IR-41390
  • METIS-217625
  • EWI-5817

Cite this

van der Bijl, H. M., Rensink, A., & Tretmans, G. J. (2003). Component Based Testing with ioco. (CTIT-technical reports; No. 2003-..). Enschede: Formal Methods & Tools.
van der Bijl, H.M. ; Rensink, Arend ; Tretmans, G.J. / Component Based Testing with ioco. Enschede : Formal Methods & Tools, 2003. 44 p. (CTIT-technical reports; 2003-..).
@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.",
keywords = "IR-41390, METIS-217625, EWI-5817",
author = "{van der Bijl}, H.M. and Arend Rensink and G.J. Tretmans",
note = "Imported from CTIT",
year = "2003",
month = "8",
language = "Undefined",
series = "CTIT-technical reports",
publisher = "Formal Methods & Tools",
number = "2003-..",

}

van der Bijl, HM, Rensink, A & Tretmans, GJ 2003, Component Based Testing with ioco. CTIT-technical reports, no. 2003-.., Formal Methods & Tools, Enschede.

Component Based Testing with ioco. / van der Bijl, H.M.; Rensink, Arend; Tretmans, G.J.

Enschede : Formal Methods & Tools, 2003. 44 p. (CTIT-technical reports; No. 2003-..).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Component Based Testing with ioco

AU - van der Bijl, H.M.

AU - Rensink, Arend

AU - Tretmans, G.J.

N1 - Imported from CTIT

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.

KW - IR-41390

KW - METIS-217625

KW - EWI-5817

M3 - Report

T3 - CTIT-technical reports

BT - Component Based Testing with ioco

PB - Formal Methods & Tools

CY - Enschede

ER -

van der Bijl HM, Rensink A, Tretmans GJ. Component Based Testing with ioco. Enschede: Formal Methods & Tools, 2003. 44 p. (CTIT-technical reports; 2003-..).