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

Jens Grabowski, Dieter Hogrefe, Robert Nahm

Abstract

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.
Document Type: 
Technical Reports
Institution: 
Institute for Informatics, University of Berne
Address: 
Berne, Switzerland
Month: 
4
Year: 
1993
Note: 
Technical Report IAM-93-010
2024 © Software Engineering For Distributed Systems Group

Main menu 2