Définir l'oracle d'autorisation pour les requêtes par lot portant sur des objets mixtes

Objectif

Mettre au jour les règles d'accès ambiguës des opérations par lot avant qu'un agent n'écrive des tests approuvant quelle que soit la réponse que l'implémentation renvoie. La proposition se concentre sur la propriété mixte au sein d'une même requête.

Prérequis

Dans une application jetable autorisée, créer des documents synthétiques appartenant à des comptes distincts. Convenir si une opération par lot est atomique, partiellement réussie, ou rejetée dès qu'un objet demandé est inaccessible.

Étapes

1. Écrire la réponse attendue et l'état stocké attendu pour un lot entièrement possédé. Exécuter ce témoin et vérifier chaque effet demandé au moyen d'une lecture séparée effectuée par le propriétaire du document.

2. Construire un lot mixte comportant un document possédé et un document inaccessible. Énoncer le résultat attendu avant l'exécution, y compris si le document possédé est autorisé à changer.

3. Répéter la fixture mixte avec l'ordre des documents inversé. Comparer les décisions, les identifiants renvoyés et les changements validés ; l'ordre ne devrait pas sélectionner une politique différente, sauf si le contrat le définit explicitement.

4. Ajouter un identifiant synthétique inexistant comme cas séparé. Décider si l'absence et le refus d'accès doivent être indiscernables, et examiner les détails par élément plutôt que le seul statut global.

5. Après une correction, inspecter chaque document via son propriétaire autorisé. Conserver un témoin entièrement possédé afin qu'un rejet global ne puisse pas se faire passer pour une autorisation d'objet correcte.

Résultat attendu

Chaque cas de lot devrait avoir une attente de réponse explicite et une attente d'état correspondante. Des écritures partielles inattendues deviennent visibles même lorsque la requête globale signale un échec.

Limites et base de vérification

Ne pas déduire l'atomicité du statut de transport. Cette méthode ne teste pas l'isolation des transactions de la base de données ; elle teste le comportement d'autorisation déclaré, observable par les appelants. Il s'agit d'une méthode originale proposée ; aucune exécution ni résultat empirique n'est affirmé.