Action Refinement in Testing with UIOCO

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

    Research output: Book/ReportReportProfessional

    12 Downloads (Pure)

    Abstract

    In model based testing test cases are derived from a specification of the implementation that we want to test. In general the specification is given on a more abstract level 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. One approach is to rewrite the specification to the required level of detail and regenerate the test cases. Rewriting a specification by hand is an error-prone and time consuming exercise that is not always favorable. Very often there is a good reason for the level of abstraction in a specification, for example to illustrate the structure of the system or to separate concerns. In this paper we present an approach to automatically obtain test cases of the required level of detail by means of action refinement. Action refinement is a way to add information to the abstract specification. The extra information relates actions from the abstract specification to concrete actions of the implementation. We will apply this approach to a simple case of action refinement, so called atomic linear input-inputs refinement. For this type of action refinement our approach enables us to automatically refine traces and transition systems. Furthermore, we present an implementation relation that relates an abstract specification with its concrete implementation and show that it is equivalent with the UIOCO implementation relation on the refined specification.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherFormal Methods and Tools (FMT)
    Number of pages45
    Publication statusPublished - Feb 2005

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-05-10
    ISSN (Print)1381-3625

    Keywords

    • EWI-5747
    • IR-57014
    • METIS-248116

    Cite this

    van der Bijl, H. M., Rensink, A., & Tretmans, G. J. (2005). Action Refinement in Testing with UIOCO. (CTIT Technical Report Series; No. TR-CTIT-05-10). Enschede: Formal Methods and Tools (FMT).
    van der Bijl, H.M. ; Rensink, Arend ; Tretmans, G.J. / Action Refinement in Testing with UIOCO. Enschede : Formal Methods and Tools (FMT), 2005. 45 p. (CTIT Technical Report Series; TR-CTIT-05-10).
    @book{4ea143becae44219b0c3a4d3d1bfc022,
    title = "Action Refinement in Testing with UIOCO",
    abstract = "In model based testing test cases are derived from a specification of the implementation that we want to test. In general the specification is given on a more abstract level 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. One approach is to rewrite the specification to the required level of detail and regenerate the test cases. Rewriting a specification by hand is an error-prone and time consuming exercise that is not always favorable. Very often there is a good reason for the level of abstraction in a specification, for example to illustrate the structure of the system or to separate concerns. In this paper we present an approach to automatically obtain test cases of the required level of detail by means of action refinement. Action refinement is a way to add information to the abstract specification. The extra information relates actions from the abstract specification to concrete actions of the implementation. We will apply this approach to a simple case of action refinement, so called atomic linear input-inputs refinement. For this type of action refinement our approach enables us to automatically refine traces and transition systems. Furthermore, we present an implementation relation that relates an abstract specification with its concrete implementation and show that it is equivalent with the UIOCO implementation relation on the refined specification.",
    keywords = "EWI-5747, IR-57014, METIS-248116",
    author = "{van der Bijl}, H.M. and Arend Rensink and G.J. Tretmans",
    note = "Imported from CTIT",
    year = "2005",
    month = "2",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Formal Methods and Tools (FMT)",
    number = "TR-CTIT-05-10",

    }

    van der Bijl, HM, Rensink, A & Tretmans, GJ 2005, Action Refinement in Testing with UIOCO. CTIT Technical Report Series, no. TR-CTIT-05-10, Formal Methods and Tools (FMT), Enschede.

    Action Refinement in Testing with UIOCO. / van der Bijl, H.M.; Rensink, Arend; Tretmans, G.J.

    Enschede : Formal Methods and Tools (FMT), 2005. 45 p. (CTIT Technical Report Series; No. TR-CTIT-05-10).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Action Refinement in Testing with UIOCO

    AU - van der Bijl, H.M.

    AU - Rensink, Arend

    AU - Tretmans, G.J.

    N1 - Imported from CTIT

    PY - 2005/2

    Y1 - 2005/2

    N2 - In model based testing test cases are derived from a specification of the implementation that we want to test. In general the specification is given on a more abstract level 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. One approach is to rewrite the specification to the required level of detail and regenerate the test cases. Rewriting a specification by hand is an error-prone and time consuming exercise that is not always favorable. Very often there is a good reason for the level of abstraction in a specification, for example to illustrate the structure of the system or to separate concerns. In this paper we present an approach to automatically obtain test cases of the required level of detail by means of action refinement. Action refinement is a way to add information to the abstract specification. The extra information relates actions from the abstract specification to concrete actions of the implementation. We will apply this approach to a simple case of action refinement, so called atomic linear input-inputs refinement. For this type of action refinement our approach enables us to automatically refine traces and transition systems. Furthermore, we present an implementation relation that relates an abstract specification with its concrete implementation and show that it is equivalent with the UIOCO implementation relation on the refined specification.

    AB - In model based testing test cases are derived from a specification of the implementation that we want to test. In general the specification is given on a more abstract level 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. One approach is to rewrite the specification to the required level of detail and regenerate the test cases. Rewriting a specification by hand is an error-prone and time consuming exercise that is not always favorable. Very often there is a good reason for the level of abstraction in a specification, for example to illustrate the structure of the system or to separate concerns. In this paper we present an approach to automatically obtain test cases of the required level of detail by means of action refinement. Action refinement is a way to add information to the abstract specification. The extra information relates actions from the abstract specification to concrete actions of the implementation. We will apply this approach to a simple case of action refinement, so called atomic linear input-inputs refinement. For this type of action refinement our approach enables us to automatically refine traces and transition systems. Furthermore, we present an implementation relation that relates an abstract specification with its concrete implementation and show that it is equivalent with the UIOCO implementation relation on the refined specification.

    KW - EWI-5747

    KW - IR-57014

    KW - METIS-248116

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - Action Refinement in Testing with UIOCO

    PB - Formal Methods and Tools (FMT)

    CY - Enschede

    ER -

    van der Bijl HM, Rensink A, Tretmans GJ. Action Refinement in Testing with UIOCO. Enschede: Formal Methods and Tools (FMT), 2005. 45 p. (CTIT Technical Report Series; TR-CTIT-05-10).