Datenform, ausgeführte Validierung und fachliche Erlaubnis getrennt beschreiben.
Eine Methodensignatur zeigt, welche Eingabe- und Ausgabetypen vorgesehen sind. Ein Required-Attribut beschreibt eine Validierungsbedingung am Datenmodell; aus seiner bloßen Anwesenheit folgt nicht, dass jeder Aufrufpfad diese Prüfung tatsächlich ausführt. Selbst geprüfte Pflichtfelder beantworten noch nicht, ob eine Werkzeugkennung existiert oder ein bestimmter Vorgang erlaubt ist. Ergänze zum Datenträger deshalb Vorbedingungen, fachliche Fehler und Auswirkungen. Eine Fake-Implementierung liefert bewusst vereinbarte Antworten für diese Fälle. Sie macht den aufrufenden Code prüfbar, während Aussagen über einen echten externen Dienst eigene Evidenz benötigen.
Ein Beispiel
ReserveToolRequest trägt die fiktive Werkzeugkennung W-17. Ein leeres Feld wird invalid, die unbekannte Kennung W-99 wird not_found, eine bekannte reservierbare Kennung wird reserved. Ein vorübergehend unerreichbarer Katalog wird unavailable. Diese vier Zustände sind hilfreicher als ein einzelnes null, das alle Ursachen vermischt.
Python 3.11 · Lehrbeispiel
def reserve_fake(tool_id):
if not tool_id:
return {'status': 'invalid', 'field': 'tool_id'}
if tool_id != 'W-17':
return {'status': 'not_found'}
return {'status': 'reserved', 'tool_id': tool_id}
print(reserve_fake(''))
print(reserve_fake('W-17'))
Erwartete Ausgabe
{'status': 'invalid', 'field': 'tool_id'}
{'status': 'reserved', 'tool_id': 'W-17'}
