Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications

Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt

Abstract

Due to increasing demands from companies and standardisation bodies, Telelogic AB and the University of Lübeck started a research and development project in October 1996 which aims at improving the validation and, especially, the automatic test generation facilities of the SDT/ITEX tool set. <p> The project is driven by practical experiences and practical needs, but also takes care of research results. In this paper, we present two short experience reports and describe the project.
Document Type: 
Articles in Conference Proceedings
Booktitle: 
Time for Testing - SDL, MSC and Trends
Series: 
SDL'97
Publisher: 
Elsevier
Pages: 
245-259
Month: 
9
Year: 
1997
Note: 
Editors: A. Cavalli, A. Sarma
2020 © Software Engineering For Distributed Systems Group

Main menu 2