Program slicing

Bei Program Slicing handelt es sich um eine Technik zur Gewinnung derjenigen Teile eines Programms, die ein vorher spezifiziertes, so genanntes Slicing-Kriterium erfüllen. Letzteres hat in der Regel die Gestalt eines Quellcode-Anweisung zuzüglich einer Menge von Variablen. Bis heute wurde eine Vielfalt von Varianten und Erweiterungen des ursprünglichen Slicing-Verfahrens entwickelt. Program Slicing findet im Rahmen der Wartung von Software sowie insbesondere im Bereich des Software-Reengineering eine Reihe von Anwendungsmöglichkeiten. Dieses Buch behandelt die Entwcklung eines dienstorientierten Modells zur Berechnung von Slices. Ein dienstorientiertes Modell integriert verschiedene Dienste, die jeweils eine Teilaufgabe innerhalb des Gesamtkonzeptes ausführen. Die drei übergeordneten Aufgaben sind die Abbildung von Quellcode auf eine für das Slicing geeignete Repräsentation, das Slicing selbst, sowie die Rückführung der Slice in Quellcode. Neben der natürlichsprachlichen Definition der einzelnen Dienste werden ihre Schnittstellen, größtenteils formal, beschrieben.