Partial Order Simulation of SDL Specifications

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.