-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.
Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch · 1997
Due to increasing interest in validation and test generation tools, Telelogic AB, Malmo, and the Institute for Telematics of the University of Lubeck have started a research and development project which aims at bringing new test generation facilities to the Tau tool set. For that purpose, a software component is developed which supports the automatic and semi-automatic generation of TTCN test suites based on SDL specifications and MSC test cases. The project follows a pragmatic approach and is driven by practical experience. Autolink is currently used by the Project Team 100 at the European Telecommunications Standardisation Institute (ETSI), where it has to prove its usefulness in everyday work. 1 Introduction Autolink is part of Tau, a commercial product by Telelogic AB, Malmo. Tau combines the two well-known tool sets SDT and ITEX. It provides tools for the formal design, implementation and testing of communicating systems software. In particular, it supports the use of the speci...