Method for test case reduction based on program behavior slices
US9355019B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 7, 2013 |
| Grant date | May 31, 2016 |
| Priority date | — |
| Expiry date | Nov 7, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3684
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention provides a method of test cases reduction based on program behavior slices. In the present invention, during a static analysis stage, analyzing a control flow and an information flow of a program according to input program codes, extracting control dependence and data dependence of the program; calculating potential dependence of the program according to the control dependence and the data dependence of the program; on the basis of the control dependence, the data dependence and the potential dependence, constructing combination dependence of the program; during a dynamic execution stage, according to an execution path and the dependence relation, calculating program behavior slices covered by the path and program behavior slices uncovered by the path, and guiding symbolic execution to generate a path capable of covering new program slices according to the uncovered program behavior slices.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.