Déterministe / Deterministic

Une vérification déterministe donne le même résultat à chaque exécution pour les mêmes entrées, ce qui la rend fiable même si l'agent qui a produit le résultat testé est lui-même probabiliste. C'est pourquoi on préfère un test automatisé à une relecture par un autre modèle.

Exemple d’usage : Le moteur de synchronisation d'un projet personnel a été conçu pour être déterministe et indépendant de l'ordre — un même jeu d'opérations produit toujours le même état final, jusque dans l'arbitrage des identifiants d'appareil en cas d'égalité. Sur un autre projet, une convention de nommage de fichiers a été rendue déterministe en s'ancrant sur des identifiants stables plutôt que sur un ordre d'exécution.