| 发明名称 |
DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS |
| 摘要 |
A method, system and product for directing verification towards bug-prone portions. The method comprising syntactically analyzing a computer program to identify portions of the computer program that correspond to one or more bug patterns; and performing verification of the computer program, wherein the verification comprises traversing a control flow graph of the computer program and tracking symbolic values of variables of the computer program, wherein said performing comprises directing the traversal of the control flow graph to nodes of the control flow graph that correspond to the identified portions, whereby bug-prone portions of the computer program are prioritized to be verified before non-bug-prone portions of the computer program. |
| 申请公布号 |
US2015074651(A1) |
申请公布日期 |
2015.03.12 |
| 申请号 |
US201314022232 |
申请日期 |
2013.09.10 |
| 申请人 |
International Business Machines Corporation |
发明人 |
CHOCKLER HANA;MARGALIT ODED;PIDAN DMITRY;RUAH SITVANIT |
| 分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A computer-implemented method comprising:
syntactically analyzing a computer program to identify portions of the computer program that correspond to one or more bug patterns; performing, by a processor, verification of the computer program, wherein the verification comprises traversing a control flow graph of the computer program and tracking symbolic values of variables of the computer program, wherein said performing comprises directing the traversal of the control flow graph to nodes of the control flow graph that correspond to the identified portions, whereby bug-prone portions of the computer program are prioritized to be verified before non-bug-prone portions of the computer program. |
| 地址 |
Armonk NY US |
