发明名称 |
PROOF-GUIDED ERROR DIAGNOSIS (PED) BY TRIANGULATION OF PROGRAM ERROR CAUSES |
摘要 |
Systems and methods are disclosed for performing error diagnosis of software errors in a program by from one or more error traces, building a repair program containing one or more modified program semantics corresponding to fixes to observed errors; encoding the repair program with constraints, biases and priortization into a constraint weighted problem; and solving the constraint weighted problem to generate one or more repair solutions, wherein the encoding includes at least one of: a) constraining one or more repairs choices guided by automatically inferring one or more partial specifications of intended program behaviors and program structure; b) biasing one or more repair choices guided by typical programming mistakes; and c) prioritizing the repair solutions based on error locations and possible changes in program semantics. |
申请公布号 |
US2009292941(A1) |
申请公布日期 |
2009.11.26 |
申请号 |
US20080331243 |
申请日期 |
2008.12.09 |
申请人 |
NEC LABORATORIES AMERICA, INC. |
发明人 |
GANAI MALAY K.;BALAKRISHNAN GOGUL |
分类号 |
G06F11/07 |
主分类号 |
G06F11/07 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|