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

Authors:
Dieter Hogrefe;Beat Koch;Helmut Neukirchen
Affiliations:
-;-;-
Venue:
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Year:
2001

Citing 3
Cited 0

An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Systems Engineering with SDL: Developing Performance-Critical Communication

Systems Engineering with SDL: Developing Performance-Critical Communication
Timed Extensions for SDL

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML

Quantified Score

Hi-index	0.00

Visualization

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.