公开(公告)号：US20070209032A1

公开(公告)日：2007-09-06

申请号：US11360153

申请日：2006-02-23

申请人： Daniel Mihai ,  Gerald Maffeo ,  Silviu Calinoiu

发明人： Daniel Mihai ,  Gerald Maffeo ,  Silviu Calinoiu

IPC分类号： G06F9/44

CPC分类号： G01R31/318371

摘要： 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.

摘要翻译： 提供了一种用于验证驱动程序组件行为的方法。 驱动程序验证组件验证驱动程序组件在指定的时间内处理I / O请求。 驱动程序验证组件还验证驱动程序组件正确处理待处理的I / O请求。 驱动程序验证组件进一步验证调用驱动程序组件中的一组参数是否符合安全要求。 此外，可以为所选择的驱动程序和/或选定的检查启用驱动程序验证组件，而无需重新启动系统。

公开(公告)号：US20070220492A1

公开(公告)日：2007-09-20

申请号：US11377066

申请日：2006-03-16

申请人： Ivan Brugiolo ,  Silviu Calinoiu ,  Feng Min ,  Jennifer Norberg ,  Donald Munsil ,  Raymond Parsons ,  Ayesha Mascarenhas ,  William Shihara

发明人： Ivan Brugiolo ,  Silviu Calinoiu ,  Feng Min ,  Jennifer Norberg ,  Donald Munsil ,  Raymond Parsons ,  Ayesha Mascarenhas ,  William Shihara

IPC分类号： G06F9/44

CPC分类号： G06F11/3612

摘要： A verifier infrastructure for a runtime verification tool is provided. The verifier infrastructure includes a managing module and one or more verifier modules. The verifier modules provide the verification for checks (tests) to predict how well an application will perform under a certain runtime setting. Each verifier module is configured to be plugged into the runtime verification tool in a standardized way. The managing module manages the verifier modules by transmitting runtime settings to the verifier modules and collecting information regarding testing of an application from the verifier modules. The collected information is reported back to users for detecting and/or debugging runtime errors.

摘要翻译： 提供了运行时验证工具的验证器基础结构。 验证器基础设施包括管理模块和一个或多个验证器模块。 验证器模块提供了检查（测试）的验证，以预测应用程序在一定的运行时设置下执行的程度。 每个验证器模块被配置为以标准化方式插入运行时验证工具。 管理模块通过将运行时设置发送到验证者模块来管理验证器模块，并从验证器模块收集有关测试应用程序的信息。 所收集的信息被报告给用户以检测和/或调试运行时错误。