VDM Schaaf, M: Bestimmung wahrscheinlicher Ursachen des Scheiter

Das vorliegende Buch beschreibt die Erweiterung des Eclipse-Plugins EzUnit um ein Framework für Unsicherheiten und die systematische Evaluation desselben. Das Framework kann mit sogenannten Fault Locatoren erweitert werden, die für jede Methode eines Programms eine Masszahl berechnen, die die Evidenz für und gegen deren Fehlerhaftigkeit zusammenfasst. Es werden sechs Fault Locatoren vorgestellt und gezeigt, wie deren Qualität mittels eines Error-Seeding-Verfahrens systematisch evaluiert werden kann.