Some Implications of MSC, SDL and TTCN Time Extensions for Computer-aided Test Generation
Abstract
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.
Keywords:
SDL, MSC, TTCN, CATG
Document Type:
Articles in Conference Proceedings
Booktitle:
Proceedings of the 10th SDL-Forum
Series:
Lecture Notes in Computer Science (LNCS) 2078
Address:
Copenhagen
Publisher:
Springer
Number:
2078
Month:
6
Year:
2001
File:
Bibtex
2024 © Software Engineering For Distributed Systems Group