Action Refinement in Conformance Testing

Machiel van der Bijl, Arend Rensink, Jan Tretmans

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

    126 Downloads (Pure)


    In model based testing test cases are derived from a model (the specification) of the system we want to test. In general the model is more abstract than the implementation. This may result in test cases that are not executable, because their actions are too abstract; the implementation does not understand them. The standard approach is to rewrite the model by hand to the required level of detail and regenerate the test cases. This is error-prone and time consuming. In this paper we present an approach to automatically obtain test cases at the required level of detail by means of action refinement. Action refinement is a way to add information to the abstract model. It relates actions from the abstract model to concrete actions of the system under test. We apply this approach to a simple case of action refinement, so-called atomic linear input-inputs refinement. In order to reason about correctness between an abstract model and a concrete imp ementation we introduce a new implementation relation. We show that this relation is equivalent with the uioco implementation relation on the refined model. Furthermore we show under which conditions the refinement of a complete abstract test suite is again complete.
    Original languageEnglish
    Title of host publicationTesting of Communicating Systems
    Subtitle of host publication17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
    EditorsFerhat Khendek, Rachida Dssouli
    Place of PublicationBerlin
    Number of pages16
    ISBN (Electronic)978-3-540-32076-0
    ISBN (Print)978-3-540-26054-7
    Publication statusPublished - 2005
    Event17th IFIP International Conference on Testing Communicating Systems, TestCom 2005 - Montreal, Canada
    Duration: 31 May 20052 Jun 2005
    Conference number: 17

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference17th IFIP International Conference on Testing Communicating Systems, TestCom 2005
    Abbreviated titleTestCom


    Dive into the research topics of 'Action Refinement in Conformance Testing'. Together they form a unique fingerprint.

    Cite this