Recomendaciones para solucionar problemas del comprobador de controladores estáticos

Al ejecutar el comprobador de controladores estáticos (SDV) en el código fuente del controlador y los informes de SDV Timeout, GiveUp o Spaceout, pruebe las siguientes acciones:

• Las siguientes recomendaciones requieren cambios en las opciones de configuración de SDV. Puede establecer las opciones de configuración directamente en Static Driver Verfier en la pestaña Configurar , en Recursos o en un archivo de opciones del comprobador de controladores estáticos, Sdv-defaults.xml. El archivo de opciones predeterminado es específico del modelo de controlador y se puede encontrar en el directorio \tools\sdv\data\model\, donde model es WDM, WDF, NDIS o Storport.
  1. Si el equipo tiene un procesador de varios núcleos, reduzca el número de subprocesos que se usan durante la comprobación a 1. En el grupo Recursos de la pestaña Configurar , seleccione 1 en la lista desplegable. En el archivo predeterminado de SDV, cambie el valor de SDV_SlamConfig_NumberOfTheads a 1.
  2. Si SDV informa de un tiempo de espera, aumente el límite de tiempo de espera. Este valor limita la cantidad de tiempo que el SDV dedica a comprobar una regla. El valor predeterminado es 50 minutos (3000 segundos). En el grupo Recursos de la pestaña Configurar , puede ajustar la configuración cambiando el tiempo máximo (minutos). En el archivo de opciones, puede cambiar el valor de SDV_SlamConfig_Timeout. El mínimo es 10(s) y el máximo es 86400(Sec). Por ejemplo, puede que quiera duplicar el valor de SDV_SlamConfig_Timeout a 6000.
• Si ninguna de estas sugerencias ayuda a resolver el problema, intente aplicarlas todas juntas.

Nota Estas técnicas aumentan la duración real de una ejecución, pero también facilitan que SDV finalice su trabajo y tengan un resultado útil (Pass o Defect).