Action Refinement in Conformance Testing

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

Research output: Book/ReportReportProfessional

11 Citations (Scopus)
20 Downloads (Pure)

Abstract

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, socalled atomic linear input-inputs refinement. In order to reason about correctness between an abstract model and a concrete implementation 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 languageUndefined
Place of PublicationEnschede
PublisherFormal Methods and Tools (FMT)
Number of pages33
Publication statusPublished - Oct 2005

Publication series

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

Keywords

  • EWI-5725
  • METIS-229278
  • IR-54789

Cite this

van der Bijl, H. M., Rensink, A., & Tretmans, G. J. (2005). Action Refinement in Conformance Testing. (CTIT Technical Report Series; No. 1381-3625). Enschede: Formal Methods and Tools (FMT).
van der Bijl, H.M. ; Rensink, Arend ; Tretmans, G.J. / Action Refinement in Conformance Testing. Enschede : Formal Methods and Tools (FMT), 2005. 33 p. (CTIT Technical Report Series; 1381-3625).
@book{6b2e77cd53d04ba79bd0c79ce51742e7,
title = "Action Refinement in Conformance Testing",
abstract = "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, socalled atomic linear input-inputs refinement. In order to reason about correctness between an abstract model and a concrete implementation 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.",
keywords = "EWI-5725, METIS-229278, IR-54789",
author = "{van der Bijl}, H.M. and Arend Rensink and G.J. Tretmans",
note = "Imported from CTIT",
year = "2005",
month = "10",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Formal Methods and Tools (FMT)",
number = "1381-3625",

}

van der Bijl, HM, Rensink, A & Tretmans, GJ 2005, Action Refinement in Conformance Testing. CTIT Technical Report Series, no. 1381-3625, Formal Methods and Tools (FMT), Enschede.

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

Enschede : Formal Methods and Tools (FMT), 2005. 33 p. (CTIT Technical Report Series; No. 1381-3625).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Action Refinement in Conformance Testing

AU - van der Bijl, H.M.

AU - Rensink, Arend

AU - Tretmans, G.J.

N1 - Imported from CTIT

PY - 2005/10

Y1 - 2005/10

N2 - 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, socalled atomic linear input-inputs refinement. In order to reason about correctness between an abstract model and a concrete implementation 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.

AB - 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, socalled atomic linear input-inputs refinement. In order to reason about correctness between an abstract model and a concrete implementation 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.

KW - EWI-5725

KW - METIS-229278

KW - IR-54789

M3 - Report

T3 - CTIT Technical Report Series

BT - Action Refinement in Conformance Testing

PB - Formal Methods and Tools (FMT)

CY - Enschede

ER -

van der Bijl HM, Rensink A, Tretmans GJ. Action Refinement in Conformance Testing. Enschede: Formal Methods and Tools (FMT), 2005. 33 p. (CTIT Technical Report Series; 1381-3625).