Autolink - Putting formal test methods into practice

Michael Schmitt, Beat Koch, Jens Grabowski, Dieter Hogrefe

Abstract

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.
Document Type: 
Technical Reports
Institution: 
Medical University of Lübeck
Address: 
Lübeck, Germany
Month: 
4
Year: 
1998
Note: 
Technical Report A-98-04
2011 © Software Engineering For Distributed Systems Group

Main menu 2