Softwaredesign: Spezifikationsphase

Spezifikationsphase

Bedeutung der Spezifikationsphase

Kostenverteilung auf Phasen Anforderungsanalyse 3 % Spezifikation 3 % Design 3 % Codierung 7 % Test 15 % Wartung 67 % Kostenverteilung für Fehlerbeseitigung Kosten für Fehlerkorrekturen steigen exponentiell mit der Zeit zwischen Einbau und Erkennen mit dem Faktor 10 Wann werden (traditionell) Fehler erkannt?

Thesen zur Software-Entwicklung

Fehlende Sorgfalt und Genauigkeit beim Planen und Überprüfen der Anforderungen bei der Spezifikation, beim Design und Codieren führen zu Fehlern. Die Fehler werden (normalerweise) in umgekehrter Reihenfolge ihrer Einführung erkannt. Traditionell wird zu wenig Aufwand in die Lösung der Aufgaben in Spezifikation und Design gesteckt. Hier sind präzisere Notationen erforderlich als bisher verwendet. Eine exakte, auf math. Notationen zurückgreifende Methode zur Spezifikation und Design hilft, Fehler in der Design-Phase früh zu erkennen. Programmieren ist zu billig im Vergleich zum Testen, Installation, Fehlerkorrektur. Um eine exakte Methode anzuwenden, muss das Management (und die Entwickler) überzeugt werden (oder überzeugt sein) und sich darauf einstellen.

Analogie:
Softwarekonstruktion <--> Häuser bauen

Phasen Identifikation Ein Kunde stellt fest, er braucht ein Haus Anforderungen Was für ein Haustyp, welche Ausstattung Anforderungs-Analyse Möglichkeiten mit Architekten zu diskutieren Anforderungs-Definition Auswahl --> 1. Design-Skizze Funktions-Spezifikation Pläne, Modelle, 2D, 3D Gespräch: Architekt <--> Kunde Kostenabschätzung --> Auftrag Design Bau-Ing. beginnt mit Arbeit abstraktes Design Statik, ... konkretes Design Wasser, Heizung, Elektro, ... Codierung Handwerker rücken an Installation Einzug, kleine Änderungen, Abnahme Gebrauch Gebäude nutzen Wartung Reparatur, Umbau, Modernisierung Wegwerfen Abriss

Was heißt formal (exakt)?

formal exakt etwas in einer objektiven, eindeutigen Art und Weise beschreiben Eigenschaften alleine aus der Beschreibung ableiten Formelmanipulation Beweise führen per Hand oder mechanisch Formeltransformation objektiv jeder ordnet einem Begriff die gleiche Bedeutung zu

Eigenschaften einer Funktionsspezifikation

Vertragsbestandteil zwischen Auftraggeber und Entwickler Unstimmigkeiten müssen an Hand dieses Dokuments geklärt werden Konsistenz & Vollständigkeit alles ist festgelegt nichts ist widersprüchlich (doppelt) festgelegt korrekt erfüllt Anforderungskatalog kurz & lesbar Spezifikation wesentlich kürzer Programm referenzierbar Implementierungsfragen müssen durch das Dokument beantwortet werden können Basis für Implementierung für Dokumentation für Handbücher keine Überspezifikation keine Implementierungs- und Design-Entscheidungen in der Spezifikation

Was ist eine Methode?

Methode Menge von Vorgehensweisen und Auswahlkriterien zur Anwendung von Prinzipien, Techniken und Werkzeugen Die Anwendung einer Methode führt nicht automatisch zur Lösung eines Problems Sie ermöglicht es, sich auf die Lösung der wesentlichen und schwierigen Probleme zu konzentrieren

Was ist ein Modell?

Modell vereinfachende bildliche oder mathematische Darstellung von Strukturen und Funktionsweisen Beispiele Atom-Modell Modell des Weltalls Bestandteile Problembereich mathematische Struktur Korrespondenz: Realität <--> Modell Nutzen eines Modells einfache Darstellung von Information Berechnungen im Modell durchführen Erforschen und Vorhersagen --> Simulation, Wettervorhersage, ... gutes Modell es enthält alle wesentlichen Merkmale es enthält nichts Überflüssiges es ist einfach Beispiele Landkarte von Hamburg Landkarte von Hamburg Landkarte von Hamburg SA Spezifikation: Tanklager

Letzte Änderung: 13.04.2012

© Prof. Dr. Uwe Schmidt