Kontrolliertes Englisch für Anforderungsspezifikationen

10 Kapitel 2
Anforderungen und SpeziÞkationen 9
Without a well-written requirements specification, developers do not know what to build,
customers do not know what to expect, and there is no way to validate that the system as
built satisfies the requirements [Hsia et al. 93:75].
Die SAS ist nicht bloss eine Zusammenstellung aller Anforderungen an das Softwareprodukt,
sondern auch ein Kommunikationsmedium, das den Softwareentwicklern
die Intentionen der Anwendungsspezialisten zugŠnglich machen sollte. Neben der Beschreibung
des beobachtbaren Verhaltens des zukŸnftigen Softwareproduktes bildet
die SAS den Ausgangspunkt fŸr die Validierung der Anforderungen durch die Anwendungsspezialisten.
Zudem ist es mšglich, aus einer gut geschriebenen SAS TestfŠlle
zu extrahieren oder, falls die SAS in einer formalen Sprache geschrieben ist, die
davon abgeleiteten Systembeschreibungen automatisch zu verifizieren. Im Idealfall
liegt einer formalen SAS ein operationales Modell zugrunde, so dass die Spezifikation
ausgefŸhrt werden kann. Das hat den grossen Vorteil, dass das generierte Verhalten
vom Anwendungsspezialisten in einer sehr frŸhen Phase im Software-Entwicklungsprozess
ŸberprŸft werden kann [vgl. Fuchs 92:323 ff., Gravell & Henderson 96:104 ff.].
Im Gegensatz zu Prototypen beschreiben ausfŸhrbare Spezifikationen die gesamte
FunktionalitŠt des geplanten Softwareproduktes und machen eine klare Trennung
zwischen problem- und implementationsorientierten Aspekten [Fromherz 93:18].
WŠhrend der Anforderungsspezifikation wird ein Dokument erstellt, das das externe
(beobachtbare) Systemverhalten und dessen EinschrŠnkungen prŠzis spezifiziert. Bei
dieser AktivitŠt fokussieren wir auf gesicherte Anforderungen, die diejenigen Bedingungen
oder FŠhigkeiten beschreiben und normieren, die das Softwareprodukt erfŸllen
muss und denen alle Beteiligten zustimmen kšnnen. Wenn natŸrliche Sprache als
Spezifikationssprache verwendet wird, ist es vorteilhaft, die gesicherten Anforderungen
als deklarative SŠtze oder als konditionale SŠtze niederzuschreiben, um sie so
von den modalen Anforderungen zu unterscheiden [vgl. Jackson 95:127]. Anforderungen,
die wahre oder bedingte Sachverhalte beschreiben und im Prinzip durch Beobachtung
oder Experiment falsifiziert werden kšnnen, bezeichnen wir als faktische
Anforderungen.
Die dritte Definition wollen wir nicht weiter untersuchen, da modale Anforderungen
durchaus dokumentiert sein kšnnen und faktische Anforderungen notwendigerweise
dokumentiert sein mŸssen, da sie in die Software-Anforderungsspezifikation eingehen.
Welches sind die QualitŠtsattribute, denen eine gut geschriebene SAS zu genŸgen hat?
Meistens werden die folgenden sechs inhaltlichen Attribute unterschieden [Davis
Gegenstand der nachfolgenden Diskussion bilden ausschliesslich faktische Anforderungen,
die durch Validierung falsifizierbar sind. Wir untersuchen zuerst, welchen
QualitŠtsattributen eine Anforderungsspezifikation idealerweise zu genŸgen hat, und
stellen vor diesem Hintergrund anschliessend die Frage, wo natŸrliche und formale
Spezifikationssprachen ihre StŠrken und SchwŠchen haben.
90:184 ff., Davis et al. 93:141 ff., Davis 94:1050 ff., IEEE Std 830 93:5 ff.]:
¥ korrekt
¥ eindeutig
¥ vollstŠndig
¥ verifizierbar
¥ konsistent
¥ verstŠndlich
korrekt,
wenn jede aufgefŸhrte Anforderung einen funktionalen
Eine SAS ist dann
Aspekt beschreibt, der vom zukŸnftigen Softwareprodukt erfŸllt wird. Es gibt weder
Werkzeuge noch Verfahrensweisen, die Korrektheit zusichern kšnnten. Die Korrekt-
heit einer Anforderung hŠngt vollstŠndig von der intendierten Anwendung ab. Beispielsweise
ist die Anforderung
2.2 Spezifikationen
Sobald ein relativ umfassendes ProblemverstŠndnis erreicht ist und die BedŸrfnisse
der Anwendungsspezialisten geklŠrt sind, mŸssen die faktischen Anforderungen
wŠhrend der Anforderungsspezifikation in einem Dokument durch eine geeignete
Spezifikationssprache beschrieben werden. UnabhŠngig vom verfolgten Software-
Entwicklungsparadigma bildet die Software-Anforderungsspezifikation (SAS) den
Ausgangspunkt fŸr alle spŠteren Phasen im Software-Entwicklungsprozess [vgl.
Fromherz 93:9 ff.]. Die SAS ist ein konzeptionelles Modell des zu entwickelnden Softwareproduktes.
Der Zweck der SAS besteht darin, die notwendige Information vollstŠndig
und widerspruchsfrei zur VerfŸgung zu stellen, um den nachfolgenden Systementwurf
und die Systemimplementation mšglichst erfolgreich durchfŸhren zu
kšnnen. Dabei spielt die QualitŠt der SAS eine entscheidende Rolle fŸr die kosten-
The user searches for the name of the borrower who currently has the copy.
(9)
gŸnstige Entwicklung eines zuverlŠssigen Softwareproduktes.