| |
Hypothesengesteuerte Analyse von Objektarchitekturen
J.H. Fröhlich
Programmentwickler werden häufig mit Problemen konfrontiert,
die aus dem Unterschied zwischen statischer Programmstruktur und
Programmverhalten entstehen. In objektorientierten Programmen bereitet
der Unterschied besondere Probleme. Wie kann in Anbetracht dieser
Probleme die Programmqualität gesichert werden? Das Buch
erläutert eine analytische Technik zur Qualitätssicherung.
Im Mittelpunkt stehen Hypothesen über das Verhalten eines
objektorientierten Programms unabhängig von der Programmiersprache.
Die Hypothesen sind automatisch prüfbar und unterstützen damit
vor allem das Testen und Dokumentieren von Programmen.
|
J.H. Fröhlich, Hypothesengesteuerte Analyse von Objektarchitekturen, Dissertation, Dr. Kovac Verlag, 1999.
TR-SE-99.14
|