COSIMIS - Computerunterstützte Inspektionsmethoden

Forschungsprojekt P 14128COSIMIS - Computerunterstützte InspektionsmethodenGerhard CHROUST06.03.2000 COSIMIS - Computerunterstützte Inspektionsmethoden im Software Engineering für Software Entwicklungs- Unternehmen Der Bedarf an Qualitätssoftware macht frühe Valdierung und Verifizierung von Zwischenprodukten des Software- Entwicklungsprozesses notwendig. Testen ist nur auf laufenden Code beschränkt und erfolgt damit zu spät im Entwicklungszyklus. Außerdem ist Testen zu sehr an der Verifizerung orientiert als daß es einen dramatischen Einfluß auf die sogenannte Entwurfsqualität` (vgl. ISO 9126) hätte. Seit 1976 werden Formale Inspektionen nach Fagan erfolgreich in der Validierung und Verifizierung von Software eingesetzt. Im Vergleich zum Testen sollen sie eine viermal so hohe Problem-Eliminations-Kapazität haben. Die klassischen (manuellen) Inspektionen haben einige Ineffizienz-Probleme, die wahrscheinlich durch den Einsatz moderner Informationstechnologie beseitigt werden können, z.B. durch Computer-Vernetzung, dezentrales, asynchrones Arbeiten. Gleichzeitig gibt es starke Hinweise, daß der gleichförmige Einsatz von Inspektionen nicht optimal ist. Abhängig vom Projekttypus, der Projektdomäne und kulturellen Unterschieden können Inspektionsvarianten noch bessere Resultate liefern. In diesem Projekt planen wir daher * Den aktuellen State-of-the-Art der computergestützten Inspektionen zu ermitteln. * Diese Methoden an Hand der ihnen zugrundeliegenden Modelle zu vergleichen. * Die Anwendbarkeit der Methoden n verschiedenen Projekt-Kontexten zu überprüfen, besonders in Hinblick auf sehr kleine Software-Unternehmen * Einen Prototyp auf Basis des Elektronischen Konferenzraumes zu entwickeln * Die Auswirkungen der modernen Technoligien auf die von Fagan behauptete Synergie der Inspektions-Sitzungen zu untersuchen * Entscheidungsgrundlagen für die Wahl verschiedener Inspektionstypen zu bieten * Ein Handbuch mit CD-ROM zu erzeugen, die nützliche und praktische Methoden, Hinweise, Formulare und Beispiele enthalten. * Unsere Ergebnisse und Materialien durch Sw-Praktiker zu validieren * Die Ergebnisse in wissenschaftlichen Zeitschriften und Konferenzen weiterzuverbreiten