Foliensatz 5
Foliensatz 5
Foliensatz 5
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Prof. G. Kemnitz · Institut für Informatik, Technische Universität Clausthal 13. Juli 2012 14/96<br />
1. Software 1. Spezifikation<br />
Fehlervermeidung und Kontrollen<br />
Vermeidung von Fehlern in der Spezifikation:<br />
strukturiertes Vorgehen bei der Erarbeitung<br />
klare, eindeutige, widerspruchsfreie Formulierung<br />
Diagramme, Tabellen<br />
Formulierung als überprüfbare Eigenschaften<br />
Entwicklung eines Modells und Validierung am Modell<br />
Checkliste zur Vermeidung bekannter Fallstricke (siehe<br />
häufigste Ursachen für das Scheitern von Entwurfsprojekten)<br />
Kontrollmöglichkeiten:<br />
Review (Korrekturlesen, frühe Erkennung, geringe<br />
Fehlerkosten)<br />
Simulation des Zielverhaltens,<br />
Aufbau und Test eines Prototyps<br />
Test am Endprodukt (hohe Fehlerkosten)