发明名称 Analyzing computer programs to identify errors
摘要 A method of analyzing a computer program under test (CPUT) using a system comprising a processor and a memory can include performing, by the processor, static analysis upon the CPUT and runtime analysis upon at least a portion of the CPUT. A static analysis result and a runtime analysis result can be stored within the memory. Portions of the CPUT analyzed by static analysis and not by runtime analysis can be determined as candidate portions of the CPUT. The candidate portions of the CPUT can be output.
申请公布号 US2011145650(A1) 申请公布日期 2011.06.16
申请号 US20090636057 申请日期 2009.12.11
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 KRAUSS KIRK J.
分类号 G06F11/36;G06F11/00 主分类号 G06F11/36
代理机构 代理人
主权项
地址