Industrial-Strength Formal Specification Techniques, Workshop on
Download PDF

Abstract

Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malm?, 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 to develop a test suite for Core INAP CS-2.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!