Dominant-state-based coverage metric
US8856755B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jan 27, 2013 |
| Grant date | Oct 7, 2014 |
| Priority date | — |
| Expiry date | Mar 30, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3608
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.