专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20090319997A1 PRECONDITION RULES FOR STATIC VERIFICATION OF CODE 审中-公开
标题翻译：用于静态验证代码的预编规则
公开(公告)号：US20090319997A1
公开(公告)日：2009-12-24
申请号：US12142775
申请日：2008-06-20
申请人： Jakob Frederik Lichtenberg , Conal McGarvey , Eleonora O. Bounimova , Vladimir A. Levin
发明人： Jakob Frederik Lichtenberg , Conal McGarvey , Eleonora O. Bounimova , Vladimir A. Levin
IPC分类号： G06F9/44
CPC分类号： G06F11/3636
摘要： A verification engine for verifying compliance of a module of computer-executable instructions to various specifications or guidelines can utilize precondition rules to obtain information about the module so as to select appropriate rules with which the module will be verified. The precondition rules can inform an evaluation tool, which can obtain the specified information about the module. A preprocessor can then evaluate conditional statements and select one or more rules or environment modules based on the results of the evaluation of the precondition rules. Multiple levels of dependent precondition rules can be evaluated with a drill-down approach, where each dependency chain is evaluated until a terminal level, or with a layered approach, where all terminal level precondition rules are evaluated followed by precondition rules of increasingly higher levels.
摘要翻译：用于验证计算机可执行指令的模块对各种规范或指南的符合性的验证引擎可以利用前提条件来获得关于模块的信息，以便选择将被验证模块的适当规则。前提条件可以通知评估工具，可以获取有关模块的指定信息。然后，预处理器可以基于前提条件规则的评估结果来评估条件语句并选择一个或多个规则或环境模块。依赖前提条件的多个级别可以通过深入法进行评估，其中每个依赖关系链被评估直到终端级别或分层方法，其中所有终端级前提条件被评估，之后是越来越高级别的前提条件。

IPRDB

热门服务

关于我们

友情链接

联系方式