Hypothesengesteuerte Analyse von Objektarchitekturen

Die oo Programmierung hat das Potential zur Steigerung der Softwarequalität und der Entwicklungsproduktivität. Die Analyse eines oo Programms ist jedoch auch bei übersichtlicher Klassenhierarchie schwierig. Ein wesentlicher Grund für die Schwierigkeiten ist der Unterschied zwischen der statischen Programmstruktur (der Struktur des Quelltexts) und dem Programmverhalten. Dieser Unterschied erschwert die Analyse dynamischer Eigenschaften und damit besonders das Testen und Dokumentieren des Programmverhaltens. Die Ergebnisse dieser Arbeit unterstützen zielgerichtete Analysen des Verhaltens oo Programme. Das Analyseziel wird als Hypothese über veränderliche Strukturen kooperierender Objekte formuliert. Als Informationsquelle dient der Quelltext.Nach der Festlegung des Analyseziels wird ein Programmlauf auf Übereinstimmung mit der Hypothese überprüft. Je nach Analyseergebnis wird die Analyse abgebrochen, die Hypothese verfeinert oder ein anderer Programmlauf gegen die gleiche Hypothese geprüft. Durch dieses Verfahren leisten hypothesengesteuerte Verhaltensanalysen einen wichtigen Beitrag zur Sicherung der Programmqualität. ......