Recommandations pour la résolution des problèmes liés au vérificateur de pilote statique

Lorsque vous exécutez Static Driver Verifier (SDV) sur le code source de votre pilote et que SDV signale un Timeout, un GiveUp ou un Spaceout, essayez les actions suivantes :

• Les recommandations suivantes nécessitent des modifications des paramètres de configuration de SDV. Vous pouvez définir les paramètres de configuration directement dans Static Driver Verifier sur l’onglet Configurer, sous Ressources, ou dans un fichier d’options de Static Driver Verifier, Sdv-defaults.xml. Le fichier d’options par défaut est spécifique au modèle de pilote et se trouve dans le répertoire \tools\sdv\data\model\, où model est WDM, WDF, NDIS ou Storport.
  1. Si votre ordinateur possède un processeur multicœur, réduisez le nombre de threads utilisés pendant la vérification à 1. Dans le groupe Resources de l’onglet Configurer, sélectionnez 1 dans la liste déroulante. Dans le fichier de paramètres par défaut de SDV, changez la valeur de SDV_SlamConfig_NumberOfTheads à 1.
  2. Si SDV signale un Timeout, augmentez la limite de Timeout. Cette valeur limite le temps que SDV consacre à la vérification d’une règle. La valeur par défaut est de 50 minutes (3000 secondes). Dans le groupe Resources de l’onglet Configurer, vous pouvez ajuster le paramètre en changeant la valeur de Temps Maximum (minutes). Dans le fichier d’options, vous pouvez changer la valeur SDV_SlamConfig_Timeout. Le minimum est de 10(Sec) et le maximum est de 86400(Sec). Par exemple, vous pourriez vouloir doubler la valeur de SDV_SlamConfig_Timeout à 6000.
• Si aucune de ces suggestions ne résout le problème, essayez de les appliquer toutes ensemble.

Remarque : Ces techniques augmentent la durée réelle d’une exécution, mais elles facilitent également la tâche de SDV pour terminer son travail et obtenir un résultat utile (Pass ou Defect).