Autolink - A Tool for Automatic Test Generation from SDL Specifications

Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt

Abstract

Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmö, and the Insitute for Telematics of the University of Lübeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed 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 <em>European Telecommunications Standards Insitute</em> (ETSI) to develop a test suite for Core INAP CS-2.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Series: 
WIFT '98
Address: 
Washington, DC, USA
Publisher: 
IEEE Computer Society
Pages: 
114-
Month: 
10
Year: 
1998
2024 © Software Engineering For Distributed Systems Group

Main menu 2