Präzise dynamische Slicing-Algorithmen

Dynamische Slicing-Algorithmen können den Debugging-Aufwand erheblich reduzieren, indem sie die Aufmerksamkeit des Benutzers auf eine relevante Teilmenge von Programmstatements lenken. In diesem Papier präsentieren wir das Design und die Bewertung von drei präzisen dynamischen Slicing-Algorithmen, nämlich dem Full Preprocessing (FP), No Preprocessing (NP) und Limited Preprocessing (LP) Algorithmus. Die Algorithmen unterscheiden sich im relativen Timing des Aufbaus des dynamischen Datenabhängigkeitsgraphen und seiner Traversierung zur Berechnung der angeforderten dynamischen Slices. Unsere Experimente zeigen, dass der LP-Algorithmus ein schneller und praktischer präziser Slicing-Algorithmus ist. Tatsächlich zeigen wir, dass präzise Slices um Größenordnungen kleiner sein können als ungenaue dynamische Slices, dass der LP-Algorithmus jedoch bei einer geringen Anzahl von Slicing-Anfragen schneller ist als ein von Agrawal und Horgan vorgeschlagener ungenauer dynamischer Slicing-Algorithmus.