Test Case Specification Based on MSCs and ASN.1

Jens Grabowski, Dieter Hogrefe, Iwan Nussbaumer, Andreas Spichiger

Abstract

Informal test specifications are formalized by means of MSCs. Message definitions and constraints are included. For this purpose a new concept for the reference and modification of constraints is introduced. The formalized test specifications can be implemented automatically. Our approach is explained by means of a test case for a layer 3 ISDN protocol (ITU-T Rec. Q.931). The method is implemented in a set of prototype tools.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
MSC in CASE
Series: 
SDL'95
Publisher: 
Elsevier
Month: 
9
Year: 
1995
Note: 
Editors: R. Braek, A. Sarma
2024 © Software Engineering For Distributed Systems Group

Main menu 2