Autolink - Putting SDL-based test generation into practice

<em>Autolink</em> 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 challenge for <em>Autolink</em> was 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 <em>Autolink</em> to a real-life protocol and the improvements of <em>Autolink</em> which were developed during this project. We also present future enhancements which will further ease the work of test suite developers. <br>(A modified version is available as Technical Report A-98-04, Medical University of Lübeck, Schriftenreihe der Institute für Mathematik/Informatik, Lübeck, Germany, April 1998)