1    

IT so leicht wie nie. Ein Selbstlernkurs zur Informationstechnologie.

Was ist eine Spezifikation? (8/16)

Am Anfang des Entwicklungsprozesses eines Algorithmus steht das bestimmte Problem: Was soll genau gelöst werden bzw. was soll das Endprodukt sein? Bevor ein Algorithmus geschrieben wird, muss eine sogenannte „Spezifikation“ erstellt werden. Eine Spezifikation beschreibt das Problem, während ein Algorithmus eine mögliche Lösung dazu angibt. Innerhalb der Spezifikation wird ein Zustandsschema erstellt, das zunächst einen Istzustand und dann den Sollzustand bestimmt, der durch den Algorithmus erreicht werden soll.

Eine Spezifikation legt also fest, was der Algorithmus zu leisten hat, aber nicht wie das konkret geschehen soll (vgl. Pomberger/Dobler, S. 66). Dabei werden insbesondere die Rahmenbedingungen analysiert: Welche Ressourcen (z.B. Zeit oder Personal) stehen zur Verfügung? Die Qualität des Endproduktes ist ebenso Bestandteil der Spezifikation, d.h. die Frage: Wann ist das Problem tatsächlich zufriedenstellend gelöst?

Für die Informatikprofessoren Gumm und Sommer sind drei Aspekte für eine Spezifikation ausschlaggebend (Gumm/Sommer, S. 89):

  • Vollständigkeit: Alle Anforderungen und alle relevanten Rahmenbedingungen wurden angegeben und sind klar definiert.
  • Detailliertheit: Welche Hilfsmittel und welche Basis-Operatoren sind erlaubt? Welche Aktionen sind zugelassen?
  • Unzweideutigkeit: Wann ist eine vorgeschlagene Lösung akzeptabel? Wann ist die Aufgabe erledigt?

Nun sind Sie dran: Überlegen Sie sich eine Spezifikation für das Problem „Literatur suchen“. Welche Rahmenbedingungen gibt es? Wann ist das Problem gelöst?

Peter benötigt für seine Hausarbeit Literatur. Das Problem könnte demnach „Literatur finden“ lauten. Für dessen Spezifikation gibt es die Rahmenbedingungen:
  1. Finde mindestens zehn Texte zum Thema: „Starke Frauenfiguren in Bram Strokers Dracula“
  2. Beschaffe die Texte.
  3. Erledige diese Aufgabe in den nächsten 14 Tagen.
Damit sind alle Rahmenbedingungen genannt und der Aspekt der Vollständigkeit ist erfüllt.
Der Aspekt der Detailliertheit ist durch die Beschränkung „Nutze für die Recherche den Online-Katalog der Niedersächsischen Staats- und Universitätsbibliothek Göttingen“ erfüllt.
Der Endzustand ist akzeptabel und somit unzweideutig, wenn die zehn Texte vorliegen.