Compartir a través de

Propiedades del comprobador de KMDF para proyectos de paquetes de controladores

  • Artículo

Establece las propiedades del comprobador de KMDF (o comprobador de marco) en un equipo remoto. Puede usar esta configuración al compilar e implementar un controlador KMDF en un equipo de prueba. Para obtener información sobre los controladores KMDF, vea Kernel-Mode Driver Framework.

Para obtener más información sobre el comprobador del marco, consulte Uso de la aplicación de control de comprobador de WDF y comprobador de WDF.

Establecimiento de las propiedades del comprobador de KMDF para proyectos de paquete de controladores

  1. Abra las páginas de propiedades del paquete de controladores. Seleccione y mantenga presionado (o haga clic con el botón derecho) en el proyecto del paquete de controladores en Explorador de soluciones y seleccione Propiedades.
  2. En las páginas de propiedades del paquete de controladores, seleccione Propiedades de configuración, Instalar controlador y, a continuación, seleccione Comprobador de KMDF.
  3. Seleccione la opción Habilitar comprobador de KMDF y seleccione Comprobador de KMDF siempre activada. Cuando se selecciona esta opción, puede configurar las opciones de comprobación del marco para los controladores KMDF.
Opción Descripción

Habilitación del comprobador de KMDF

Habilita el comprobador de KMDF en el equipo de prueba. Las opciones son comprobador de KMDF siempre activada o el comprobador de KMDF está desactivado. Si el comprobador de KMDF no está habilitado, la comprobación básica del marco se habilita como parte del comprobador de controladores si la versión de KMDF es 1.9 o posterior.

Nombres de servicio kmdf

Especifica los nombres de servicio de los controladores KMDF que se van a supervisar.

Comprobaciones irQL

Habilita las comprobaciones de IRQL y las comprobaciones críticas de pérdida de memoria.

Reenviar comprobaciones compatibles

Habilita las comprobaciones creadas después de la versión del controlador actual.

Pruebas de controlador de progreso hacia delante

Especifica opciones para probar el control del progreso hacia delante del controlador.

Sin errores de asignación No se simulará ningún error para probar el control de progreso hacia delante del controlador.

Error en todas las asignaciones Se producirá un error en todas las solicitudes de E/S destinadas a una cola de progreso hacia delante, basándose en el control del progreso hacia delante del controlador.

Asignaciones de errores aleatorias Las solicitudes de E/S con errores aleatorias destinadas a una cola de progreso hacia delante.

Seguimiento de identificadores de objeto KMDF

Especifica la lista de tipos de identificador de objeto que se van a realizar.

Habilitar mensajes del cargador de KMDF

Habilita los mensajes del cargador de KMDF a través del depurador. Se requiere un reinicio del equipo de destino para habilitarlo.

A partir de Windows Vista, el sistema operativo suprime la salida de DbgPrint de forma predeterminada, lo que hace que los mensajes de diagnóstico del cargador de WDF no se puedan usar hasta que se invalide la supresión. El comprobador de KMDF puede administrarlo para que los diagnósticos del cargador de KMDF estén disponibles en el depurador de kernel para estos sistemas.

Registro detallado

Habilita el registro detallado.

Páginas de memoria para registros

Especifica el número de páginas de grupo no paginadas (1-10) que se asignarán para los registros de seguimiento de eventos del kernel. Las opciones son Opción en tiempo de ejecución o [1-10]. Si La opción en tiempo de ejecución, el número de páginas depende del tiempo de ejecución de KMDF. A partir de KMDF 1.9, el tiempo de ejecución usa más páginas cuando la comprobación está habilitada con el registro detallado.

Asignaciones de memoria con error

Especifica el número de asignaciones de memoria correctas permitidas antes de que el comprobador de KMDF comience a producir un error en todas las asignaciones de memoria.