Partial Order Simulation of SDL Specifications

Daniel Toggweiler, Jens Grabowski, Dieter Hogrefe

Abstract

The need of efficient simulation methods for validation and verification of protocol specifications leads to the development of partial order simulation methods. Two new algorithms for the partial order simulation of SDL specifications are presented. Both algorithms have shown to be useful for the automatic generation of test cases. They are implemented in the test case generation tool SAMSTAG. The results of some experiments are discussed.
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
2020 © Software Engineering For Distributed Systems Group

Main menu 2