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

1. 发明授权

US5790778A Simulated program execution error detection method and apparatus 失效
标题翻译：模拟程序执行错误检测方法和装置
公开(公告)号：US5790778A
公开(公告)日：1998-08-04
申请号：US694470
申请日：1996-08-07
申请人： William R. Bush , Jonathan D. Pincus , Richard E. Wilbur , Debby Majors-Degnan , David Jon Sielaff
发明人： William R. Bush , Jonathan D. Pincus , Richard E. Wilbur , Debby Majors-Degnan , David Jon Sielaff
IPC分类号： G06F11/36 , G06F13/00 , G06F9/45
CPC分类号： G06F11/3612
摘要： A computer program error detection system that detects errors in a computer program by simulating execution of program statements. An internal format structure is retrieved along with a list of all functions defined by the computer program. The internal format structure is analyzed to determine all function calls and the function call ordering. External behavior models corresponding to the discovered function calls are retrieved and stored in a model table. One or more control flow paths are traversed through the computer program. For each path traversed, a structural memory model is maintained to represent the effect of the simulated execution of statements along the control flow path. A statement is simulated by executing a built in model of the operation. A function call is emulated by executing an external behavior model corresponding to the called function. Execution of an external behavior model causes the structural model memory to be updated to reflect execution of the called function. Information describing the manipulation of the memory model is logged for automodelling purposes. Invalid conditions in the structural memory model are detected and reported. The information logged for automodelling purposes is scanned after analysis of each path to build an outcome for that path. After individual path analysis completes, the different outcomes are processed, duplicates are removed, and an external behavior model representing the computer program under analysis is generated.
摘要翻译：一种通过模拟程序语句的执行来检测计算机程序中的错误的计算机程序错误检测系统。检索内部格式结构以及由计算机程序定义的所有功能的列表。分析内部格式结构以确定所有函数调用和函数调用顺序。对应于发现的函数调用的外部行为模型被检索并存储在模型表中。一个或多个控制流程遍历计算机程序。对于遍历的每个路径，维护结构性内存模型以表示沿着控制流程路径的语句的模拟执行的效果。通过执行内置的操作模型来模拟语句。通过执行与被调用函数相对应的外部行为模型来模拟函数调用。执行外部行为模型会导致结构模型内存被更新以反映被调用函数的执行。记录描述内存模型操作的信息用于汽车销售。检测并报告结构性内存模型中无效的条件。在分析每个路径以构建该路径的结果之后，将扫描记录用于自动销售目的的信息。单独路径分析完成后，处理不同的结果，删除重复项，并生成表示分析中的计算机程序的外部行为模型。

IPRDB

热门服务

关于我们

友情链接

联系方式