| 发明名称 |
Dominant-state-based coverage metric |
| 摘要 |
A method, apparatus and product for dominant state based coverage metric. The method comprising: determining whether all possible states of a computer program were examined based on an analysis of states that were examined excluding controlled states that are dominated by a self-dominating states; wherein the controlled states are associated with a controlled nodes in a control flow graph of the computer program, wherein the self-dominating states are associated with a self-dominating node in the control flow graph; wherein each execution path in the control flow graph that reaches the controlled nodes also includes the self-dominating node; and wherein there exists an execution path in the control flow graph that both starts and ends at the self-dominating node and further includes at least one controlled node. |
| 申请公布号 |
US8856755(B2) |
申请公布日期 |
2014.10.07 |
| 申请号 |
US201313751088 |
申请日期 |
2013.01.27 |
| 申请人 |
International Business Machines Corporation |
发明人 |
Chockler Hana;Pidan Dmitry;Ruah Sitvanit;Yorav Karen |
| 分类号 |
G06F9/44;G06F11/36 |
主分类号 |
G06F9/44 |
| 代理机构 |
|
代理人 |
Glazberg Ziv |
| 主权项 |
1. A computer-implemented method performed by a processing unit, the method comprising:
determining whether all possible states of a computer program were examined based on an analysis of states that were examined excluding controlled states that are dominated by a self-dominating states; wherein the controlled states are associated with a controlled node in a control flow graph of the computer program, wherein the self-dominating states are associated with a self-dominating node in the control flow graph; wherein each execution path in the control flow graph that reaches the controlled nodes also includes the self-dominating node; and wherein there exists an execution path in the control flow graph that both starts and ends at the self-dominating node and further includes at least one controlled node. |
| 地址 |
Armonk NY US |
