Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation [chapter]

Dieter Hogrefe, Beat Koch, Helmut Neukirchen
2001 Lecture Notes in Computer Science  
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already available or currently under study in the EC Interval project. The implications for currently available test generation tools are shown and proposals for their improvement are made. The transformation of MSC-2000 time concepts into TTCN-3 code is described in detail.
doi:10.1007/3-540-48213-x_11 fatcat:wo3uv7m7abc23dlysu5pqpnaky