Softwareentwicklung nach Maß Schätzen · Messen · Bewerten

"Software-Metrie" ist eine junge Disziplin der Informatik, die sich mit der Messung, Bewertung und Qualtiätssicherung bei der Entwicklung und Produktion von Software befaßt. Das Buch macht mit den anwendungsrelevanten Grundlagen vertraut und stellt die Verfahren, Metriken und Tools vor. Gegenstand des vorliegenden Werkes ist es, die Produktion von Software mit geeigneten Software-Maßen zu unterstützen. Dabei ist die Darstellung so gehalten, daß Studenten, Praktiker und Entscheidungsträger gleichermaßen einen gezielten Ein- und Überblick erhalten können. Ein Informatikbuch, das nicht zuletzt auch für den Wirtschaftsinformatiker von Interesse ist.

1 Einleitung.- 2 Ziele der Software-Messung.- 2.1 Software-Entwicklungskosten.- 2.2 Software-Qualitätssicherung.- 2.2.1 Der Begriff der Software-Qualität.- 2.2.2 Qualitätsmodelle.- 2.3 Software-Bewertung.- 2.3.1 Bewertung des Leistungsverhalten.- 2.3.2 Zertifikation von Software.- 2.3.3 Eignungstest.- 3 Meßgegenstand.- 3.1 Software-Produkte.- 3.2 Software-Erstellung.- 3.2.1 Software-Entwicklungsmodelle.- 3.2.1.1 Die SA-Methode.- 3.2.1.2 Cleanroom Engineering.- 3.2.1.3 Objektorientierte Analyse und Design.- 3.2.1.4 Das U-Diagramm.- 3.2.1.5 Das Spiralmodell von Boehm.- 3.2.2 Projektmanagement.- 3.3 oftware-Produktion.- 3.4 Der Software-Entwickler.- 3.5 Das Meßpersonal.- 4 Software-Messung.- 4.1 Meßtheoretische Grundlagen.- 4.2 Messungen an Programmen.- 4.3 Messung der Software-Entwicklung.- 4.4 Eigenschaften von Software-Maßen.- 5 Software-Metriken.- 5.1 Metrikarten.- 5.2 Metriken für die Anforderungsanalyse.- 5.2.1 Vollständigkeitsmaße.- 5.2.2 Konformitätsmaße.- 5.2.3 Inkonsistenzmaße.- 5.2.4 Lesbarkeitsmaße.- 5.3 Spezifikations-Metriken.- 5.3.1 Die SLIM-Methode.- 5.3.2 Die Albrechts-Metrik.- 5.3.3 Die Bang-Metrik von DeMarco.- 5.3.4 Das COCOMO-Modell von Boehm.- 5.3.5 Zwei Schätzmaße von DOD.- 5.3.6 Zwei Schätzmaße der NASA.- 5.3.7 Eine Schätzformel für den Personalaufwand.- 5.4 Design-Metriken.- 5.4.1 Die Henry-Kafura-Metrik.- 5.4.2 Die Chapin-Metrik.- 5.4.3 Die Qualitätsmaße von Troy/Zweben.- 5.4.4 Die Entwurfsmaße von Balzert.- 5.4.5 Das Entwurfstabilitätsmaß von Yau/Collofello.- 5.4.6 Die Systemkomplexität von Yin/Winchester.- 5.4.7 Die Entwurfsstrukturmaße von Blaschek.- 5.4.8 Die Van-Verth-Metrik.- 5.4.9 Die Design-Maße von SOFTCON.- 5.4.10 Die MMC-Metrik von Harrison/Cook.- 5.4.11 Die Design-Komplexität von Card/Agresti.- 5.4.12 Die Programmkomplexität von Shatz.- 5.4.13 Die Design-Metrik von McCabe.- 5.4.14 Design-Metriken für die objektorientierte Software-Entwicklung.- 5.5 Code-Metriken.- 5.5.1 Das LOC-Maß.- 5.5.2 Die Halstead-Metrik.- 5.5.2.1 Die Anwendung der Halstead-Maße für die Modularisierung.- 5.5.2.2 Eine Modifikation von Jensen.- 5.5.2.3 Gordon-Metrik.- 5.5.2.4 Die Vereinfachung der Halstead-Metrik von Stetter.- 5.5.2.5 Kritiken zur Halstead-Metrik.- 5.5.3 Die McCabe-Metrik.- 5.5.3.1 Die Erweiterung von Myers.- 5.5.3.2 Die Hansen-Metrik.- 5.5.3.3 Die Komplexität von Entscheidungstabellen.- 5.5.4 Die MIN-Metrik von Chen.- 5.5.5 Die Logische Komplexität von Gilb.- 5.5.6 Die Woodward-Metrik.- 5.5.7 Eine Programmkomplexitätsmetrik von Oviedo.- 5.5.8 Die Programmkomplexität nach Piwowarski.- 5.5.9 Ein Charakteristisches Polynom für die Komplexität.- 5.5.10 Eine hybride Metrik von Basili/Hutchens.- 5.5.11 Die Programmaße von Elshoff.- 5.5.12 Die Tai-Metrik.- 5.5.13 Lesbarkeitsmaße für den Programmcode.- 5.5.14 Die Berns-Metrik.- 5.5.15 Ein Komplexitätsmaß von Stetter.- 5.5.16 Die Code-Metriken von Bell.- 5.5.17 Code-Metriken für Bibliothekskonzepte.- 5.5.18 Code-Metriken für nichtprozedurale Programmiersprachen.- 5.5.18.1 Funktionale Programmiersprachen.- 5.5.18.2 Logische Programmiersprachen.- 5.5.19 Code-Metriken für objektorientierte Programmiersprachen.- 5.6 Test-Metriken.- 5.6.1 Metriken zur Bewertung des Testniveaus.- 5.6.2 Metriken für die Software-Zuverlässigkeit.- 5.6.3 Metriken für die Bestimmung der Testfälle.- 5.6.4 Ein allgemeinstes Testmaß von Basili/Selby.- 5.7 Wartungs-Metriken.- 5.7.1 Metriken für die Software-Änderung.- 5.7.2 Metriken für die Zuverlässigkeits.- 5.7.3 Portabilitäts-Metriken.- 5.7.4 Metriken für die Programmiererproduktivität.- 5.7.5 Metriken für den Programmservice.- 5.7.6 Metriken für den Eignungstest.- 6 Validation von Software-Metriken.- 6.1 Theoria cum praxi.- 6.2 Metrik-Anomalien.- 6.3 Validitätsformen.- 6.4 Die Interpretation von Software-Metriken.- 6.4.1 Die Interpretation von Metriken mittels Basiskennzahlen.- 6.4.2 Die Interpretation von Metriken nach Zuse.- 6.5 Korrelationen.- 6.5.1 Einfache Korrelationen.- 6.5.2 Validation durch Korrelation mehrerer Metriken...- 6.5.3 Mehrerer Korrelationsanalysen für die Metriken-Validation.- 6.6 Metriken-Standards.- 7 Meß-Tools.- 7.1 Arten von Meß-Tools.- 7.2 Experimentier-Tools.- 7.3 Lern-Tools.- 7.4 Tools zur Validationsunterstützung.- 7.4.1 Metrikbasierte Compiler.- 7.4.1.1 Das System ATHENA.- 7.4.1.2 Der Compiler MCOMP.- 7.4.2 Das System METRICS.- 7.4.3 Der Design-Metrikbewerter DEMETER.- 7.5 Analyse-Tools.- 7.5.1 Quellcode-Analyse.- 7.5.2 Einfache Metrikberechnungen.- 7.5.3 Leistungsanalyse.- 7.6 SQA-Tools.- 7.6.1 Das Qualitätssicherungsprogramm QAP.- 7.6.2 Das Kostenschätzsystem ESTIMACS.- 7.6.3 Automatisierte Qualitätssicherung mittels SOFTDOC.- 7.6.4 Die SQA-Tools von DEC.- 7.6.5 Software-Bewertung mit QUALIGRAPH.- 7.6.6 Das Bewertungsprogramm DATRIX.- 7.6.7 Der Software-Bewertungsplatz SVS.- 7.6.8 Das SQA-System ESQUT.- 7.6.9 Das Analyse- und Bewertungs-Tool LOGISCOPE.- 7.6.10 Weitere SQA-Tools.- 8 Software-Entwicklung nach Maß.- 8.1 Metrikbasierte Anwendungsprogrammierung.- 8.2 Metrikbasierte Tools.- 8.3 Metrikbasierte Software-Qualitätssicherung.- 9 Zusammenfassung.- Sachwortverzeichnis.

Dr.-Ing. habil. Reiner Dumke lehrt an der Technischen Universität "Otto von Guericke", Magdeburg.