Entscheidbar —
oder nur beurteilbar?
Vier Einstufungen.
Auch die vierte ist ein Ergebnis.
Eine bestandene Abnahme ist eine Momentaufnahme einer Stichprobe: Sie gilt für den geprüften Ausschnitt und für den Prüfzeitpunkt. Dieser Check nimmt Ihre Anforderungen einzeln und fragt, ob sich zu jeder überhaupt etwas entscheiden lässt.
WhiteBox heißt nicht, dass man den Code sieht. WhiteBox heißt, dass Konformität entscheidbar ist statt beurteilbar — genau diese Unterscheidung nimmt dieser Check Anforderung für Anforderung vor.
Vier Fragen
je Anforderung.
Sie beziehen sich immer auf dieselbe Übertragungsstrecke: Gibt es einen Sender, ist der Empfänger lesbar, ist die Aussage scharf, und ist sie ohne den Erbauer feststellbar.
Existiert ein Sender? Ohne ihn gibt es nichts, womit sich das Verhalten vergleichen ließe.
Sensor, Signal, Zustand. Ist der Empfänger lesbar? Wo keine Reaktion erkennbar ist, kann auch formal nichts entschieden werden.
Ist die Aussage scharf? „Läuft ruhig“ ist keine prüfbare Anforderung, „hält die Position innerhalb von x“ schon.
Ist es entscheidbar oder beurteilbar? Diese Frage trennt die beiden — und sie ist die unangenehmste.
Viermal ja: direkt entscheidbar. Frage 2 nein: nicht entscheidbar. Frage 1 nein, Rest ja: indirekt. Frage 3 oder 4 nein: eingeschränkt.
Weil jede weitere Frage die Antwortquote senkt und die Einstufung nicht schärfer macht. Vier reichen, um zu trennen.
Eine Tabelle Ihrer Anforderungen,
mit je einem Satz Begründung.
Das Ergebnis ist keine Bewertung Ihrer Anlage, sondern eine Sortierung Ihrer eigenen Sätze. Die Behavior Reference (BR) ist keine nachträgliche Dokumentation des Codes. Sie entsteht vor dem Code — und die Anforderungen, die Sie hier eintragen, sind das Material, aus dem sie entstünde.
Ihre Anforderungen mit Einstufung und Begründung — als Bericht zum Behalten.
Es steht oben, nicht unten. Entscheidbarkeit setzt Technologie voraus: Wo keine Reaktion erkennbar ist, hilft kein Modell.
Keine Aussage darüber, ob Ihre Anforderungen die richtigen sind. Verifikation fragt: Wurde richtig gebaut? Validierung fragt: Wurde das Richtige gebaut? Die zweite Frage bleibt bei Ihnen.
Die eingetragenen Anforderungen werden nicht ausgewertet und nicht für andere Zwecke verwendet. Sie stehen im Bericht und sonst nirgends.
Der Bericht kommt
an Ihre Adresse.
Die Einstufung erscheint sofort auf der Seite. Den Bericht mit Ihren Anforderungen und den Begründungen schicken wir per E-Mail.
Entscheidbarkeit setzt Technologie voraus. Wo keine Reaktion erkennbar ist, kann auch formal nichts entschieden werden — die Methode macht das sichtbar, sie hebt es nicht auf.