Sofdwaredesign: Schbezifikazionschbhase

Schbezifikazionschbhase

Bedeidung dr Schbezifikazionschbhase

Koschdenverdeilung auf Phase Anforderungsanalyse 3 % Schbezifikazion 3 % Design 3 % Codierung 7 % Teschd 15 % Wardung 67 % Koschdenverdeilung für Fehlerbeseidigung Koschde für Fehlerkorrekdure schdeige exbonenziell mid dr Zeid zwische Einbau und Erkenne mid dem Fakdor 10 Wann werde (dradizionell) Fehlr erkannd, gell?

These zur Sofdware-Endwigglung

Fehlend Sorgfald und Genauigkeid beim Plane und Überbrüfe dr Anforderunge bei dr Schbezifikazion, beim Design und Codiere führe z Fehleret. Die Fehlr werde (normalerweise) in umgekehrdr Reihenfolg ihrr Einführung erkannd. Tradizionell wird z wenich Aufwand in d Lösung dr Aufgabe in Schbezifikazion und Design gschdeggd. Hir sind bräzisere Nodazione erforderlich als bishr verwended. Eine exakde, auf math. Nodazione zurügggreifend Method zur Schbezifikazion und Design hilfd, Fehlr in dr Design-Phase früh z erkenne. Programmiere isch z billich im Vergleich zum Teschde, Inschdallazion, Fehlerkorrekdur. Um oi exakde Method anzwende, muss des Managemend (und d Endwigglr) überzeigd werde (odr überzeigd soi) und si dauuff oischdelle.

Analogie:
Sofdwarekonschdrukzion <--> Häusr bauen

Phase Idendifikazion Ein Kund schdelld fesch, r brauchd oi Haus Anforderunge Was für oi Hauschdyb, wo Ausschdaddung Anforderungs-Analyse Möglichkeide mid Archidekde z diskudiere Anforderungs-Definizion Auswahl --> 1. Design-Skizze Funkzions-Schbezifikazion Pläne, Modelle, 2D, 3D Geschbräch: Archidekd <--> Kunde Koschdenabschädzung --> Aufdrag Design Bau-Ing. beginnd mid Arbeid abschdrakds Design Schdadik, ... konkreds Design Wassr, Heizung, Elekdro, ... Codierung Handwerkr rügge an Inschdallazion Einzug, kloi Änderunge, Abnahm Gebrauch Gebäud nudze Wardung Rebaradur, Umbau, Modernisierung Wegwerfe Abriss

Was heißd formol (exakd), gell?

formal exakd edwas in oir objekdive, oideidige Ard und Weise beschreibe Eigenschafde alloi aus dr Beschreibung ableiden Formelmanibulazion Beweise führen br Hand odr mechanisch Formeldransformazion objekdiv jedr ordned oim Begriff d gleiche Bedeidung z

Eigenschafde oir Funkzionsschbezifikazion

Verdragsbeschdanddeil zwische Aufdraggebr und Endwigglr Unschdimmigkeide müsse an Hand diess Dokumends klärd werde Konsischdenz & Vollschdändigkeid alls isch feschdgelegd nix isch widerschbrüchlich (dobbeld) feschdgelegd korrekd erfülld Anforderungskadalog kurz & lesbar Schbezifikazion wesendlich kürzr Programm referenzierbar Imblemendierungsfrage müsse durch des Dokumend beandworded werde könne Basis für Imblemendierung für Dokumendazion für Handbüchr koi Überschbezifikazion koi Imblemendierungs- und Design-Endscheidunge in dr Schbezifikazion

Was isch oi Method, gell?

Method Meng vo Vorgehensweise und Auswahlkriderie zur Anwendung vo Prinzibie, Technike und Werkzeige Die Anwendung oir Method führd nedd audomadisch zur Lösung von a Problems Sie ermöglichd s, si auf d Lösung dr wesendlile und schwierige Problem z konzendriere

Was isch oi Modell, gell?

Modell veroifachend bildliche odr mathemadische Darschdellung vo Schdrukdure und Funkzionsweisen Beischbiele Adom-Modell Modell vom Weldalls Beschdanddeile Problembereich mathemadische Schdrukdur Korreschbondenz: Realidäd <--> Modell Nudze von a Modells oifache Darschdellung vo Informazion Berechnunge im Modell durchführe Erforsche und Vorhersagen --> Simulazion, Weddervorhersag, ... guads Modell s enthäld alle wesendlile Merkmale s enthäld nix Überflüssigs s isch oifach Beischbiele Landkarde vo Hamburg Landkarde vo Hamburg Landkarde vo Hamburg SA Schbezifikazion: Tanklager

Ledzde Änderung: 13.04.2012

© Prof. Dr. Uwe Schmidd