Ce que signifie une règle
Une règle est une attente concernant le comportement d’une fonction. Elle peut décrire ce que la fonction renvoie, ce qu’attendent les appelants ou une exigence que vous ajoutez. Les règles déduites de votre code peuvent être erronées ; vous pouvez les corriger.
Ce que contrôle la vérification
L’architecture est extraite des sources et décrit les fonctions, les appelants et les dépendances. Un modèle personnalisé en déduit des attentes. La vérification contrôle les modifications par rapport à ces attentes.
Le modèle décide de ce qui doit être vrai. Les règles contrôlent si c’est toujours le cas.
Lire un échec
Lisez la fonction, la règle, ce qui s’est produit à la place, l’emplacement et les appelants concernés. Remontez les preuves jusqu’au code avant de décider quoi modifier. Un échec peut affecter des appelants situés hors du fichier que vous avez modifié.
Comprendre le statut
Un résultat réussi signifie que la règle évaluée a été respectée. Un échec signifie que la règle évaluée n’a pas été respectée. Une évaluation en attente ou indisponible ne prouve pas une réussite. Lisez toute explication associée avant d’agir.
Échecs nouveaux et préexistants
La référence est la base de code avant la modification. La comparaison avec celle-ci distingue les échecs nouvellement introduits de ceux déjà présents. Un échec préexistant peut rester important ; l’étiquette vous indique simplement que cette modification ne l’a pas introduit.
Corriger l’attente ou le code
Si le code est erroné, corrigez-le vous-même ou choisissez Corriger sur la fiche de l’échec. Panolayer Agent prend comme consigne la fonction, la règle et les appelants concernés, et la vérification se relance lorsqu’il a terminé. Si l’attente est erronée, corrigez la règle. La vérification ne détecte pas tous les bugs, et la couverture varie selon le langage et le dépôt.