Driver verifier
First Claim
Patent Images
1. A method for verifying driver component behavior, the method comprising:
- verifying that a driver component processes I/O requests in a specified amount of time;
verifying that pending I/O requests are processed correctly by a driver component; and
verifying that a set of parameters in a call to a driver component conforms with security requirements.
2 Assignments
0 Petitions
Accused Products
Abstract
A method for verifying driver component behavior is provided. A driver verification component verifies that a driver component processes I/O requests in a specified amount of time. The driver verification component also verifies that pending I/O requests are processed correctly by a driver component. The driver verification component further verifies that a set of parameters in a call to a driver component conforms with security requirements. Additionally, the driver verification component can be enabled for selected drivers and/or selected checks without rebooting the system.
31 Citations
20 Claims
-
1. A method for verifying driver component behavior, the method comprising:
-
verifying that a driver component processes I/O requests in a specified amount of time;
verifying that pending I/O requests are processed correctly by a driver component; and
verifying that a set of parameters in a call to a driver component conforms with security requirements. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A computer-readable medium having computer-executable modules for verifying driver components, the computer-executable modules, comprising:
-
a verification test module for determining whether a driver component processes I/O requests in a specified amount of time;
a verification test module for determining whether pending I/O requests are processed correctly by a driver component; and
a verification test module for determining whether a set of parameters in a call to a driver component conforms with security requirements. - View Dependent Claims (11, 12, 13, 14, 15, 16, 17)
-
-
18. A method for enabling a driver verification component, the method comprising:
-
performing a first initialization of the driver verification component, wherein the first initialization includes initializing data structures associated with the driver verification component;
obtaining a request to fully enable the driver verification component;
performing a second initialization of the driver verification component, wherein the second initialization fully enables the driver verification component for selected driver components; and
modifying settings associated with the driver verification component. - View Dependent Claims (19, 20)
-
Specification