loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Autolink: A Tool for Automatic Test Generation from SDL Specifications
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
Beat Koch, University of L?
Jens Grabowski, University of L?
Dieter Hogrefe, University of L?
Michael Schmitt, University of L?
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.
Citation:
Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt, "Autolink: A Tool for Automatic Test Generation from SDL Specifications," wift, pp.114, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
Usage of this product signifies your acceptance of the Terms of Use.