Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test
eBook - PDF

Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test

,
  1. 234 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test

,

About this book

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.

Frequently asked questions

Yes, you can cancel anytime from the Subscription tab in your account settings on the Perlego website. Your subscription will stay active until the end of your current billing period. Learn how to cancel your subscription.
No, books cannot be downloaded as external files, such as PDFs, for use outside of Perlego. However, you can download books within the Perlego app for offline reading on mobile or tablet. Learn more here.
Perlego offers two plans: Essential and Complete
  • Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
  • Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Both plans are available with monthly, semester, or annual billing cycles.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes! You can use the Perlego app on both iOS or Android devices to read anytime, anywhere — even offline. Perfect for commutes or when you’re on the go.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Yes, you can access Wohldefinierte Überdeckungsmetriken für den Glass-Box-Test by in PDF and/or ePUB format. We have over one million books available in our catalogue for you to explore.

Information

Year
2014
Print ISBN
9783954047949
eBook ISBN
9783736947948
Edition
1

Table of contents

  1. Dank
  2. Zusammenfassung
  3. Abstract
  4. Inhaltsverzeichnis
  5. Abbildungsverzeichnis
  6. Tabellenverzeichnis
  7. 1 Einleitung und Überblick
  8. 2 Grundlagen und Begriffe
  9. 3 Glass-Box-Test
  10. 4 Eine Modellsprache für den Glass-Box-Test
  11. 5 Modellnetze
  12. 6 Definition der Überdeckungsmetriken für den Glass-Box-Test
  13. 7 Ein Werkzeug für den Glass-Box-Test
  14. 8 Die Generierung von Testfall-Hinweisen mit CodeCover
  15. 9 Zusammenfassung und Ausblick
  16. Literaturverzeichnis