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 votre code source de pilote et les rapports SDV Timeout, GiveUp ou Spaceout, essayez les actions suivantes :

• Les recommandations suivantes nécessitent des modifications des paramètres de configuration SDV. Vous pouvez définir les paramètres de configuration directement dans Le verfier du pilote statique sous l’onglet Configurer , sous Ressources ou dans un fichier d’options du vérificateur de pilote statique, 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ù le modèle est WDM, WDF, NDIS ou Storport.
  1. Si votre ordinateur dispose d’un processeur multicœur, réduisez le nombre de threads utilisés pendant la vérification à 1. Dans le groupe Ressources de l’onglet Configurer , sélectionnez 1 dans la liste déroulante. Dans le fichier des valeurs par défaut SDV, remplacez la valeur de SDV_SlamConfig_NumberOfTheads par 1.
  2. Si SDV signale un délai d’expiration, augmentez la limite de délai d’expiration. Cette valeur limite le temps passé par SDV à vérifier une règle. La valeur par défaut est 50 minutes (3 000 secondes). Dans le groupe Ressources de l’onglet Configurer , vous pouvez ajuster le paramètre en modifiant la durée maximale (minutes). Dans le fichier d’options, vous pouvez modifier la valeur SDV_SlamConfig_Timeout. La valeur minimale est 10(s) et la valeur maximale est 86400(s). Par exemple, vous pouvez doubler la valeur de SDV_SlamConfig_Timeout à 6 000.
• Si aucune de ces suggestions ne permet de résoudre le problème, essayez de les appliquer toutes ensemble.

Note Ces techniques augmentent la durée réelle d’une exécution, mais elles permettent également à SDV de terminer plus facilement son travail et d’avoir un résultat utile (Pass ou Defect).