Lightweight Techniques for Automatic Software Fault Localization, Fachbücher von Rui Abreu

Das Buch "Lightweight Techniques for Automatic Software Fault Localization" von Rui Abreu bietet eine umfassende Analyse der aktuellen Ansätze zur automatischen Fehlersuche in Software. Es unterscheidet zwischen zwei Hauptkategorien: statistikbasierten Ansätzen und reasoning-basierten Ansätzen. Statistikbasierte Techniken, wie die Spectrum-based Fault Localization (SFL), nutzen die Abstraktion von Programmspuren, um statistische Beziehungen zwischen Quellcode-Standorten und beobachteten Fehlern zu identifizieren. Diese Methoden zeichnen sich durch geringe Modellierungskosten und eine reduzierte rechnerische Komplexität aus, jedoch ist ihre diagnostische Genauigkeit begrenzt, da sie keine tiefere Analyse des Programms durchführen. Im Gegensatz dazu verwenden modellbasierte reasoning-Ansätze vorheriges Wissen über das Programm, um ein Modell des korrekten Verhaltens zu erstellen, was zu einer höheren diagnostischen Genauigkeit führt, jedoch mit einer erhöhten rechnerischen Komplexität einhergeht. Dieses Fachbuch richtet sich an Fachleute und Studierende, die ein tieferes Verständnis für die Techniken der automatischen Fehlersuche in Software entwickeln möchten.