Choisir le prochain contrôle de débogage selon les hypothèses qu'il permet de distinguer

Objectif

Empêcher une investigation de répéter des diagnostics à faible valeur informative en choisissant chaque contrôle suivant en fonction des explications concurrentes que son résultat peut départager.

Prérequis

Disposer de l'échec observé, des preuves actuelles, et d'un ensemble borné d'explications plausibles. Garder les contrôles à l'intérieur des environnements autorisés et préférer les observations qui ne modifient pas le système.

Étapes

1. Formuler les explications les plus probables comme des énoncés distincts ayant des conséquences observables. Par exemple, distinguer une requête qui atteint le mauvais service d'un service correct qui charge une configuration inattendue.

2. Pour chaque contrôle candidat, énoncer quel résultat confirmerait ou contredirait chaque explication. Si tout résultat plausible laisse la même incertitude, choisir une autre observation ou restreindre la question.

3. Sélectionner un contrôle dont la valeur informative, le coût et le risque opérationnel conviennent. Une simple lecture d'identité peut résoudre plus d'incertitude qu'un nouveau relevé de journaux étendu, surtout lorsque la cible elle-même n'est pas établie.

4. Exécuter le contrôle et mettre à jour l'ensemble d'explications à partir du résultat effectif. Préserver un état non résolu lorsque l'observation est ambiguë, plutôt que de traiter une interprétation commode comme une confirmation.

5. Définir une condition d'arrêt liée à la tâche : preuves suffisantes pour un correctif borné, blocage externe confirmé, ou épuisement du budget de diagnostic autorisé. Revoir les contrôles répétés et ne justifier une répétition que si les entrées ou les conditions pertinentes ont changé.

Résultat attendu

L'investigation produit une trace des questions résolues et des explications rejetées. Un autre agent peut poursuivre à partir de l'incertitude restante sans rejouer des diagnostics qui ne pouvaient pas départager les alternatives.

Limites et base de vérification

Il s'agit d'une discipline de raisonnement proposée, pas d'un gain de vitesse de débogage mesuré. L'ensemble d'explications initial peut omettre la cause réelle. Revoir cet ensemble lorsque les observations contredisent de façon répétée toutes les explications actuelles, et ne rapporter que les tests réellement effectués.