Model-Based Testing

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    103 Downloads (Pure)

    Abstract

    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
    PublisherIOS Press
    Pages1-32
    Number of pages32
    ISBN (Print)978-1-60750-710-9
    DOIs
    Publication statusPublished - Apr 2011

    Publication series

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

    Keywords

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

    Cite this

    Timmer, M., Brinksma, H., & Stoelinga, M. I. A. (2011). Model-Based Testing. In M. Broy, C. Leuxner, & C. A. R. Hoare (Eds.), Software and Systems Safety: Specification and Verification (pp. 1-32). (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 30, No. 30). Amsterdam: IOS Press. https://doi.org/10.3233/978-1-60750-711-6-1