A Method for the Generation of Test Cases Based on SDL and MSCs

Within this paper a method for the generation of test cases for conformance tests is presented. The method is based on a formal specification written in CCITT SDL and on Message Sequence Charts (MSCs). It assumes that the purpose of a test case is given by at least one MSC. Although SDL was chosen as formal description technique and MSCs were chosen to express test purposes, in principle, the presented method should work for any formal specification which can be represented as labeled transition system and for any test purpose which can be described by a finite automaton.