Schmitt, Michael
[Author]
;
Hogrefe, Dieter
[Contributor];
Grabowski, Jens
[Contributor]
Automatic Test Generation Based on Formal Specifications ; Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases ; Automatische Testgenerierung basierend auf formalen Spezifikationen ; Praxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von Testfällen
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Doctoral Thesis;
Electronic Thesis;
E-Book
Title:
Automatic Test Generation Based on Formal Specifications ; Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases ; Automatische Testgenerierung basierend auf formalen Spezifikationen ; Praxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von Testfällen
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
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. ; To ensure that distributed, heterogeneous telecommunication systems can interact with each other, organizations such as the European Telecommunications Standards Institute define internationally standardized protocols. If a formal specification is available for such a protocol, test cases can be derived automatically from the specification. Automatic test generation based on formal specifications leads to a faster, cheaper, and less error-prone testing process. It ensures that the test cases are correct with regard to the specification. Moreover, the effectiveness of the test cases can be assessed ...