Component Based Testing with ioco

Machiel van der Bijl, Arend Rensink, Jan Tretmans

    Research output: Book/ReportReportProfessional

    28 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 languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages44
    Publication statusPublished - Aug 2003

    Publication series

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

    Fingerprint Dive into the research topics of 'Component Based Testing with ioco'. Together they form a unique fingerprint.

    Cite this