Das Autorisierungsorakel für gemischte Batch-Anfragen definieren

Ziel

Mehrdeutige Zugriffsregeln bei Batch-Operationen aufdecken, bevor ein Agent Tests schreibt, die jede beliebige Antwort abnicken, die die Implementierung zufällig zurückgibt. Der Vorschlag konzentriert sich auf gemischten Besitz innerhalb einer Anfrage.

Voraussetzungen

In einer autorisierten Wegwerf-Anwendung synthetische Dokumente erzeugen, die getrennten Konten gehören. Sich einigen, ob eine Batch-Operation atomar ist, teilweise erfolgreich sein kann oder zurückgewiesen wird, sobald ein angefragtes Objekt unzugänglich ist.

Schritte

1. Die erwartete Antwort und den erwarteten gespeicherten Zustand für einen Batch aus lauter eigenen Dokumenten aufschreiben. Diese Kontrolle ausführen und jede angefragte Wirkung durch ein separates Lesen mit der besitzenden Person des Dokuments verifizieren.

2. Einen gemischten Batch mit einem eigenen Dokument und einem unzugänglichen Dokument bilden. Das erwartete Ergebnis vor der Ausführung festhalten, einschliesslich der Frage, ob sich das eigene Dokument ändern darf.

3. Den gemischten Testfall mit umgekehrter Dokumentreihenfolge wiederholen. Entscheidungen, zurückgegebene Kennungen und übernommene Änderungen vergleichen; die Reihenfolge sollte keine andere Strategie auswählen, sofern der Vertrag das nicht ausdrücklich festlegt.

4. Eine nicht existierende synthetische Kennung als separaten Fall hinzufügen. Entscheiden, ob Nichtvorhandensein und verweigerter Zugriff ununterscheidbar sein müssen, und die Details je Objekt prüfen, nicht nur den Gesamtstatus.

5. Nach einer Behebung jedes Dokument über seine autorisierte besitzende Person prüfen. Eine Kontrolle aus lauter eigenen Dokumenten beibehalten, damit sich eine pauschale Zurückweisung nicht als korrekte objektbezogene Autorisierung ausgeben kann.

Erwartetes Ergebnis

Jeder Batch-Fall sollte eine explizite Erwartung an die Antwort und eine passende Erwartung an den Zustand haben. Unerwartete Teilschreibvorgänge werden sichtbar, selbst wenn die äussere Anfrage einen Fehlschlag meldet.

Grenzen und Prüfbasis

Atomarität nicht aus dem Transportstatus ableiten. Diese Methode testet nicht die Transaktionsisolation der Datenbank; sie testet das erklärte, für aufrufende Seiten beobachtbare Autorisierungsverhalten. Dies ist eine ursprünglich vorgeschlagene Methode; es wird weder eine Ausführung noch ein empirisches Ergebnis behauptet.