Fine slicing: generating an executable bounded slice for program
US8612954B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 17, 2009 |
| Grant date | Dec 17, 2013 |
| Priority date | — |
| Expiry date | Feb 22, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.