Affordable Access

Test Generation with Inputs, Outputs, and Quiescence

Authors
Publisher
Springer Verlag
Publication Date
Disciplines
  • Communication
  • Computer Science

Abstract

PII: S0169-7552(96)00017-7 and ISDN SYSTEMS ELSEVIER Computer Networks and ISDN Systems 29 (1996) 49-79 Conformance testing with labelled transition systems: Implementation relations and test generation Jan Tretmans ’ Tele-lnformatics and Open Systems Group, Department of Computer Science, University of Twente, PO. Box 217. 7500 AE Enschede, The Netherlands Abstract This paper studies testing based on iabelled transition systems, presenting two test generation algorithms with their corre- sponding 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. Keywords: Communication protocols; Formal description techniques; Transition systems; Conformance; Conformance testing; Test case generation 1. Introduction Protocol conformance testing involves testing of a protocol implementation with respect to its specification. The aim is to increase the level of confidence in the correct functioning of the implementation as prescribed

There are no comments yet on this publication. Be the first to share your thoughts.