Model-Based Testing

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    379 Downloads (Pure)


    This paper provides a comprehensive introduction to a framework for formal testing using labelled transition systems, based on an extension and reformulation of the ioco theory introduced by Tretmans. We introduce the underlying models needed to specify the requirements, and formalise the notion of test cases. We discuss conformance, and in particular the conformance relation ioco. For this relation we prove several interesting properties, and we provide algorithms to derive test cases (either in batches, or on the fly).
    Original languageUndefined
    Title of host publicationSoftware and Systems Safety: Specification and Verification
    EditorsM. Broy, C. Leuxner, C.A.R. Hoare
    Place of PublicationAmsterdam
    Number of pages32
    ISBN (Print)978-1-60750-710-9
    Publication statusPublished - Apr 2011

    Publication series

    NameNATO Science for Peace and Security Series D: Information and Communication Security
    PublisherIOS Press
    ISSN (Print)1874-6268


    • METIS-277433
    • IR-73603
    • EWI-18580
    • Model-Based Testing
    • ioco theory
    • Formal Methods

    Cite this