Réussite et échec d’une vérification

La vérification SDV d’une règle a trois résultats de base :

• Le conducteur réussit la vérification.

• Le pilote échoue à la vérification.

• Le résultat n’est pas concluant.

Avant de tirer des conclusions basées sur ces résultats, vous devez comprendre chaque résultat et connaître les nombreuses qualifications qu’ils impliquent. Vous ne devez pas juger qu’un résultat est une évaluation finale ou complète du pilote.

Résultats de la vérification

Un pilote réussit une vérification SDV quand, après avoir exploré toutes les voies d’exécution pertinentes dans le code du pilote, le moteur de vérification SDV ne peut pas prouver que le pilote a enfreint une règle qui a été sélectionnée pour la vérification.

Un pilote échoue à une vérification lorsque le moteur de vérification SDV prouve que le conducteur a enfreint une règle au moins une fois. La violation est appelée défaut. Si le conducteur a enfreint une règle plusieurs fois, SDV signale plusieurs défauts.

Une vérification n’est pas concluante si elle se termine avant de se terminer en raison de délais d’expiration (résultat d’un délai d’attente ) ou d’un manque de mémoire (résultat Spaceout ), ou lorsque SDV n’a pas pu parvenir à une conclusion de passage ou d’échec (résultat incertain ). En outre, SDV a peut-être rencontré des erreurs d’outil internes qui l’empêchent d’effectuer ses tâches. (Pour plus d’informations sur les résultats, consultez Interprétation des résultats du vérificateur de pilote statique.)

Lorsqu’une règle ne s’applique pas au pilote, par exemple, si le pilote n’utilise pas les interfaces de pilote de périphérique que la règle vérifie, SDV signale que la règle n’est pas applicable.