Der Glass-Box-Test (GBT), der auch als White-Box- oder Strukturtest bezeichnet wird, zeigt den im Test ausgeführten Programmcode an. Doch obwohl uns der GBT auf den ersten Blick als eine ausgereifte Testtechnik erscheint, zeigen die zugrundeliegenden Modelle und Metriken bei genauer Betrachtung erhebliche Mängel, die zu unpräzisen und inkonsistenten Resultaten der verschiedenen GBT-Werkzeuge führen. In dieser Arbeit wird ein neues und präzises Modell für den GBT präsentiert. Dieses Modell entsteht in zwei Schritten: Zunächst wird eine GBT-Modellsprache definiert (die Reduced Program Representation, RPR), die die GBT-relevanten Aspekte der realen Sprachen abbildet. Aus der RPR-Definition entstehen sogenannte Ausführungselemente, deren Ausführungssemantik im zweiten Schritt durch Petri-Netze, sogenannte Modellnetze, definiert wird. Auf dieser Grundlage erfolgt dann eine präzise Definition der populären sowie weiterer GBT-Metriken. Das im Folgenden beschriebene Werkzeug CodeCover (www.CodeCover.org) liefert eine Referenzimplementierung der definierten Metriken. CodeCover bietet auch eine neue Funktion, die den Tester durch sogenannte Testfall-Hinweise beim Entwurf von GBT-basierten Testfällen systematisch unterstützt. Diese Testfälle führen einerseits zu einer Erhöhung der Überdeckung. Durch eine gezielte Priorisierung der Testfall-Hinweise wird aber auch eine hohe Fehlersensitivität der neu entwickelten Testfälle angestrebt.
- 235 pages
- English
- PDF
- Available on iOS & Android
eBook - PDF
About this book
Trusted by 375,005 students
Access to over 1.5 million titles for a fair monthly price.
Study more efficiently using our study tools.
Information
Print ISBN
9783954047949
Edition
1Table of contents
- Dank
- Zusammenfassung
- Abstract
- Inhaltsverzeichnis
- Abbildungsverzeichnis
- Tabellenverzeichnis
- 1 Einleitung und Überblick
- 2 Grundlagen und Begriffe
- 3 Glass-Box-Test
- 4 Eine Modellsprache für den Glass-Box-Test
- 5 Modellnetze
- 6 Definition der Überdeckungsmetriken für den Glass-Box-Test
- 7 Ein Werkzeug für den Glass-Box-Test
- 8 Die Generierung von Testfall-Hinweisen mit CodeCover
- 9 Zusammenfassung und Ausblick
- Literaturverzeichnis