By Topic

Autolink-a tool for automatic test generation from SDL specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Koch, B. ; Inst. fur Telematics., Lubeck Univ., Germany ; Grabowski, J. ; Hogrefe, D. ; Schmitt, M.

Due to an increasing interest in SDL (Specification and Description Language), MSC (Message Sequence Charts) and TTCN (Tree and Tabular Combined Notation) based tools for validation and test generation, Telelogic AB and the Institute for Telematics at the University of Lübeck are cooperating in a research and development project which adds new test generation facilities to Telelogic's Tau tool set. The result of that cooperation is Autolink, a software tool which supports the automatic generation of TTCN test suites based on SDL and MSC specifications. The project follows a pragmatic approach and is driven by practical experience. Autolink has been used by the European Telecommunications Standards Institute (ETSI) to develop a test suite for Core INAP CS-2 (Intelligent Network Application Protocol, Capability Set 2)

Published in:

Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on

Date of Conference: