Compositional based testing with ioco

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    Compositional testing concerns the testing of systems that consist of communicating components which can also be tested in isolation. Examples are component based testing and interoperability testing. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for compositional 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
    Title of host publicationFormal approaches to software testing
    EditorsA. Petrenko, A. Ulrich
    Place of PublicationBerlin
    PublisherSpringer
    Pages86-100
    ISBN (Print)3-540-20894-1
    Publication statusPublished - 6 Oct 2004
    Event3rd International Workshop on Formal Approaches to Testing of Software, FATES 2003: Formal approaches to software testing - Montreal, Canada
    Duration: 6 Oct 20036 Oct 2003
    Conference number: 3

    Publication series

    Name
    NumberVIII
    Volume2931
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference3rd International Workshop on Formal Approaches to Testing of Software, FATES 2003
    Abbreviated titleFATES 2003
    CountryCanada
    CityMontreal
    Period6/10/036/10/03

    Keywords

    • METIS-220488

    Cite this