Computer supported test generation from SDL specifications.
Anders Ek, Jan Ellsberger, Anthony Wiles · 1994
As part of a project at Telia (Ek, Ellsberger and Wiles 1993), a method for test generation has been developed and implemented in a tool acting as a link between the SDT and ITEX (TeleLogic 1993) toolsets. The purpose of the method is to provide tool supported generation of test cases for behaviour tests from SDL specifications (CCITT 1988). The method prevents a test suite designer from creating test cases that are not consistent with the corresponding SDL specification. This paper gives a description of the method together with a description of the tool (STED). Also some experiences from the application of the method on the GSM Data Link protocol LAPDm are reported.