Autolink - Putting formal test methods into practice

Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements. The first big challange for Autolink has been the creation of a test suite for the <em>Intelligent Network Application Protocol</em> at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink which were developed during this project. We also present future enhancements which will further ease the work of test suite developers.