Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation

Share/Save/Bookmark

Tretmans, Jan (1996) Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems, 29 (1). pp. 49-79. ISSN 0169-7552

open access
[img]
Preview
PDF
2MB
Abstract:This paper studies testing based on labelled transition systems, presenting two test generation algorithms with their corresponding implementation relations. The first algorithm assumes that implementations communicate with their environment via symmetric, synchronous interactions. It is based on the theory of testing equivalence and preorder, as is most of the testing theory for labelled transition systems, and it is found in the literature in some slightly different variations. The second algorithm is based on the assumption that implementations communicate with their environment via inputs and outputs. Such implementations are formalized by restricting the class of labelled transition systems to those systems that can always accept input actions. For these implementations a testing theory is developed, analogous to the theory of testing equivalence and preorder. It consists of implementation relations formalizing the notion of conformance of these implementations with respect to labelled transition system specifications, test cases and test suites, test execution, the notion of passing a test suite, and the test generation algorithm, which is proved to produce sound test suites for one of the implementation relations.
Item Type:Article
Copyright:© 1996 Elsevier Science
Link to this item:http://purl.utwente.nl/publications/17935
Official URL:http://dx.doi.org/10.1016/S0169-7552(96)00017-7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118454