Program Slicing

Inhaltlich unveränderte Neuauflage. Bei Program Slicing handelt es sich um eine Technik zur Gewinnung der­jenigen 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-Ver­fahrens entwickelt. Program Slicing findet im Rahmen der Wartung von Soft­ware 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 aus­fü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 De­finition der einzelnen Dienste werden ihre Schnittstellen, größtenteils formal, beschrieben.