Action Refinement in Testing with uioco


Share/Save/Bookmark

Bijl van der, Machiel and Rensink, Arend and Tretmans, Jan (2004) Action Refinement in Testing with uioco. In: 5TH PROGRESS Symposium on Embedded Systems, October 20, 2004, Nieuwegein, the Netherlands.

[img]
Preview
PDF
951Kb
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 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. 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 for action refinement. 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, transition systems and test cases. 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.
Item Type:Conference or Workshop Item
Copyright:© 2004 STW Technology Foundation
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/56326
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 227744