Un gros sauvetage brisé est une preuve, pas une explication
Lorsqu'un save ne charge pas, qu'une quête disparaît ou qu'une migration viole une règle de jeu, le premier artefact peut être énorme : des centaines de champs, des collections imbriquées, une longue histoire d'action, un instantané de contenu et un environnement qui n'existe plus. Cet artefact est précieux parce qu'il reproduit le problème.
Delta débogage change l'objectif. Au lieu de demander à une personne de repérer la valeur pertinente, demandez à un prédicat déterministe si un candidat démontre encore l'échec. Ensuite, supprimez ou simplifiez des parties de l'état alors que le prédicat reste vrai. Le résultat final est un cas de régression minimal: assez petit pour examiner, assez stable pour rejouer, et explicite sur l'invariant qui reste cassé.
Un réducteur peut s'arrêter lorsqu'aucun groupe entier ne peut être enlevé, lorsqu'un budget d'exécution est épuisé, ou lorsque le montage est suffisamment compréhensible pour devenir un test de régression. La propriété conservée compte plus qu'un optimum abstrait.
Établir la reproductibilité avant la réduction
La réduction ne fonctionne que lorsque l'échec est répétable. Première capture le prédicat précis: le chargeur courant lance-t-il une erreur classifiée, un retour invariant false, un état résultant diffère-t-il sémantiquement du résultat attendu, ou une séquence d'action produit-elle une subvention non valide? Éviter d'utiliser un prédicat vague tel que le jeu semble mal.
Enregistrez l'environnement aux côtés du candidat : build ou commit de l'application, version de migration, version d'adaptateur, instantané de contenu et de configuration, graine déterministe, hypothèses de plate-forme, et hachage de fixation de départ. Si une horloge en direct, une source aléatoire, une recherche de configuration à distance ou un travailleur de fond peut modifier le résultat, le remplacer par une limite de test déterministe ou l'enregistrer comme une limitation explicite.
Un état final peut masquer l'opération qui l'a produite. Un fixateur de séquence peut exprimer «démarrer de ce profil, effectuer ces sept requêtes, puis l'invariant échoue. » Cette séparation permet au réducteur de réduire les champs, les collections et les actions sans confondre une sorte de preuve pour une autre.
Réduire les champs et les collections dans les partitions
Commencez par des partitions grossières. Divisez l'enregistrement de haut niveau en groupes de champ, retirez un groupe d'une copie de travail et exécutez le prédicat. Si l'échec persiste, gardez l'enlèvement; si il disparaît, restaurez le groupe et subdivisez-le. Ceci est plus efficace que de supprimer un champ à la fois d'un grand objet.
L'élimination d'une entrée peut modifier les index des listes, les règles de capacité ou les soldes agrégés. Normaliser l'ordre lorsque l'ordre n'est pas significatif, conserver des identifiants stables lorsque les références les exigent, et indiquer si un élément manquant doit être absent, nul ou représenté par un repli explicite. Un réducteur ne devrait pas transformer un défaut de migration réel en erreur d'analyse causée par une entrée de test mal formée.
Utilisez la valeur rétrécissant après la réduction structurelle. Déplacez les entiers vers zéro ou une limite importante, raccourcissez les chaînes, remplacez un long identifiant par un identifiant de test sûr, et réduisez les horodatages à une époque stable seulement lorsque leur valeur exacte n'est pas la condition en cours de test. Chaque simplification doit garder le prédicat vrai. Cela révèle souvent qu'un bogues de profil complexe apparent est vraiment un ID d'élément retraité plus un inventaire complet.
Réduire les séquences d'action sans changer leur sens
Certaines défaillances émergent seulement après le temps : un achat réessayer après une reconnexion, un sauvegarde après une mise à jour de configuration, ou une migration après un tutoriel interrompu. Appliquer la même idée de partitionnement aux actions. Supprimer une moitié contiguë de la séquence, rejouer, et garder la suppression si l'invariant échoue encore. Subdiviser ensuite. Préserver les actions de configuration requises, mais contester la navigation incidente, les lectures répétées et les mutations non liées.
Les actions doivent avoir des paramètres stables et des attentes de résultat. Un réducteur qui remplace chaque requête par un nouvel ID de transaction aléatoire ne teste plus la sémantique de réessayer d'origine. Un réducteur qui supprime la charge initiale de fonction-flag peut modifier le contexte de configuration. L'identité d'action de l'enregistrement, les entrées pertinentes, la confiance par rapport à la source non fiable, et le point où l'invariant est coché.
Lorsqu'une séquence dépend de la concordance, choisissez un calendrier déterministe. Consignez l'ordre dans lequel les travailleurs ou les clients simulés atteignent des limites critiques. Si la défaillance se produit seulement sous une course, un test peut avoir besoin d'une barrière contrôlée plutôt que d'appels de sommeil dépendant du moment. L'objectif n'est pas de prétendre que la concordance est simple; c'est de rendre l'entrelacement observé assez reproductible pour raisonner.
Préserver l'invariant violé dans l'artefact final
Un petit montage sans assertion devient un autre fichier mystérieux. Conservez l'invariant violé à côté du montage en termes clairs : duplicata de l'identité d'une transaction, référence de catalogue inconnue après la migration, monnaie négative, quête inaccessible terminée, ou erreur sémantique après un aller-retour. Inclure la classification attendue et celle observée. Le montage doit échouer pour une raison, pas seulement parce qu'une fonction retourne fausse.
Comparer avant et après l'état sémantiquement. Un diff brut peut contenir des horodatages réécrits, des tableaux réordonnés, des ID générés ou un formatage de sérialisation. Un diff sémantique met en évidence des valeurs qui affectent l'invariant. Il peut signaler qu'un élément est passé d'un retour valide à un ID inconnu, ou qu'un solde a été incrémenté deux fois pour la même clé du grand livre.
Ecrivez un manifeste de replay avec le chemin de fixation, le hachage source, le hachage réduit, l'empreinte digitale de l'environnement, la graine déterministe, la séquence d'action, le cas échéant, le nom du prédicat et le résultat attendu. Ce manifeste permet à une autre personne de refaire le cas sans avoir accès à l'état surdimensionné original.
Savoir quand la réduction doit cesser
Certaines migrations sont lentes; certains scénarios nécessitent des adaptateurs de service; certaines conditions de défaillance sont floues jusqu'à ce qu'un environnement soit fixé. Fixer des budgets pour les tentatives, le temps du mur et le nombre d'artefacts. Arrêter lorsque le montage est assez petit pour expliquer le problème, quand aucune partition ne peut être retirée sans perdre la défaillance, ou quand le reste du travail nécessite un jugement de domaine plutôt que de rétrécissement mécanique.
La réduction a des limites. Elle ne peut pas décider si un élément d'héritage doit être relié à un remplacement, si une quête à la retraite a besoin d'une indemnisation, ou si une valeur économisée est légale dans une économie repensée. Il s'agit de décisions de produit. Elle ne peut pas réduire en toute sécurité les données chiffrées ou sensibles en les copiant en outillage large.
Ne publiez pas d'état de lecteur brut comme fixture de régression. Noms de bande, coordonnées, données de réception, identifiants d'appareil, jetons d'accès, et tout champ non nécessaire pour le prédicat. Un fixture minimal est une occasion d'améliorer la vie privée ainsi que le diagnostic.
Liste de contrôle pratique
- Définissez un échec déterministe avant de supprimer tout état.
- Enregistrez l'environnement application, adaptateur, contenu, configuration, semences et fixation.
- Gardez l'état initial et la séquence d'action séparés lorsque le comportement se déroule au fil du temps.
- Réduire les groupes de haut niveau d'abord, puis les champs imbriqués, les collections et les valeurs.
- Préserver les références et la validité structurelle tout en remettant en question la pertinence sémantique.
- Utiliser un calendrier de concordance contrôlé plutôt que des relevés en fonction du moment.
- Conservez l'invariant violé, la classification attendue, la diff sémantique, et replay manifeste avec le résultat.
- Arrêtez à un contre-exemple limité utile; ne pas optimiser indéfiniment pour la minimalité théorique.
- Rédiger ou synthétiser des données sensibles avant qu'un appareil ne passe des tests de routine.
Foire aux questions
Est-ce que Delta débogage seulement pour les accidents?
Non. Le prédicat peut être un crash, mais il peut aussi être un invariant de jeu violé, un nombre de droits erronés, un voyage aller-retour de sauvegarde échoué, une classification de migration rejetée, ou un décalage entre l'état attendu et observé.
Et si l'échec est intermittent ?
Si le résultat demeure probabiliste, utilisez un prédicat basé sur le seuil seulement avec soin et notez cette limitation. Un scénario stable plus petit est généralement plus précieux qu'un grand montage en flocons.
Un réducteur peut-il fonctionner contre les données de production ?
Une enquête restreinte sur les incidents peut nécessiter des preuves protégées, mais il s'agit d'un processus opérationnel distinct comportant des contrôles d'accès, des règles de conservation et un examen. Ne faites pas de la suite de régression une copie des données du lecteur.
Que prétend Persistium ici ?
Persistium est en développement en tant que première famille de produits de fiabilité locale. Cette note présente un flux de travail de réduction généralement utile et ne prétend pas qu'un produit public diagnostique automatiquement des sauvegardes arbitraires, a observé des défaillances du client ou exploite un service d'analyse hébergé.
