发明授权
US07900193B1 System and method for detecting defects in a computer program using data and control flow analysis
有权
使用数据和控制流程分析检测计算机程序中的缺陷的系统和方法
- 专利标题： System and method for detecting defects in a computer program using data and control flow analysis
- 专利标题（中）： 使用数据和控制流程分析检测计算机程序中的缺陷的系统和方法
-
申请号： US11557454申请日： 2006-11-07
-
公开(公告)号： US07900193B1公开(公告)日： 2011-03-01
- 发明人: Adam K. Kolawa , Marek Kucharski
- 申请人： Adam K. Kolawa , Marek Kucharski
- 申请人地址： US CA Monrovia
- 专利权人： Parasoft Corporation
- 当前专利权人： Parasoft Corporation
- 当前专利权人地址： US CA Monrovia
- 代理机构： Christie, Parker & Hale LLP
- 主分类号： G06F9/44
- IPC分类号： G06F9/44
摘要：
A system and method for identifying errors in a computer software include: identifying a potential problem in the computer software; triggering a portion of the computer software by the identified potential problem; determining a control flow graph and a data flow graph for the triggered portion of the computer software originating at the identified potential problem; and analyzing the control flow graph and the data flow graph to verify that the identified potential problem is an actual error. The potential problem may be identified using test tools such as a static analysis tool or a unit test tool.
信息查询
