A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
[chapter]
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