Fenster, Zustandsreichweite und zwei Ausgabegrenzen in einem Entwurf verbinden.
Entwirf auf Papier ein Suchformular für erfundene Materialnamen. Pro Instanz und Schlüssel sind zwei Anfragen in einem beim ersten Zugriff beginnenden 60-Sekunden-Fenster erlaubt. Das Suchwort wird als LDAP-Filterwert behandelt; der angezeigte Text erhält einen separat begründeten HTML-Ausgabepfad. Dokumentiere die akzeptierten Konfigurationswerte und die Bedeutung von 0. Liefere eine Zeitachse, eine Zustandszeichnung für zwei Instanzen und drei Kontextproben. Zur Abnahme gehören ein ablehnender Grenzfall, ein exakt abgelaufenes Fenster und ein Suchwort mit Stern und Klammern. Benenne jede Zusage so eng, wie sie tatsächlich durchgesetzt wird.
Ein Beispiel
Die Spezifikation sagt 'zwei je lokaler Instanz' und zeigt für alpha vier Anfragen über zwei Instanzen als möglich. A*(B) wird für die Suche als Wert kodiert und als sichtbarer Name unverändert dargestellt. Der Entwurf mit einer gemeinsamen Funktion escapeEverything scheitert an den zwei Grammatiken; die Korrektur benennt Filterwert und HTML-Text getrennt.