Réponse rapide
Un oracle de test pour mission non déterministe vérifie invariants, contraintes, propriétés et résultats acceptables plutôt qu’une trajectoire unique ou une valeur exacte.
Définir
Décrivez sécurité, terminaison, objectif, limites, ordre admissible, ressources et tolérances et séparez succès, échec et inconnu.
Observer
Utilisez traces, événements, métriques et état final avec horodatage et contexte et contrôlez absence de violation même si chemin varie.
Maintenir
Validez l’oracle sur cas connus, contre-exemples et erreurs d’annotation et versionnez ses règles avec la mission.
Sources et références
- [1] Robotics and Autonomous Systems — NIST