Automatic Test Generation Based on Formal Specifications

Abstract

Um die Interoperabilität von verteilten, heterogenen Telekommunikationssystemen sicherzustellen, definieren Organisationen wie das European Telecommunications Standards Institute international standardisierte Protokolle. Wenn eine formale Spezifikation für solch ein Protokoll verfügbar ist, dann können Testfälle automatisch daraus abgeleitet werden. Automatische Testgenerierung basierend auf formalen Spezifikationen führt zu einem schnelleren, kostengünstigeren und weniger fehleranfälligen Testprozess. Sie stellt sicher, dass die Testfälle selbst bzgl. der Spezifikation korrekt sind. Darüber hinaus kann die Effektivität der Testfälle bewertet und quantifiziert werden.Die vorliegende Arbeit beschäftigt sich mit der automatischen Generierung von Testsuiten für das Konformanztesten. Insbesondere werden Lösungen für die folgenden Problemfelder vorgestellt:Die vorgestellten Lösungen sind im Rahmen von AUTOLINK, einem fünfjährigen Kooperationsprojekt mit Telelogic SA, Malmö, umgesetzt worden. Dabei wurde ein kommerzielles Werkzeug entwickelt, das die Generierung von TTCN-2-Testsuiten aus SDL-Systemspezifikationen und MSC-Testzwecken ermöglicht.Darüber hinaus wird eine neue, universelle Testsprache namens Testing and Test Control Notation 3 (TTCN-3) vorgestellt, an deren Standardisierung der Autor beteiligt war. Schließlich werden die Vorteile der symbolischen Ausführung für die Simulation und Testgenerierung verdeutlicht.