公开(公告)号：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.

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