Method for testing a computer program
US9342645B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 3, 2013 |
| Grant date | May 17, 2016 |
| Priority date | — |
| Expiry date | Jun 7, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for testing a circuit specification after changing a first version of the circuit specification into a second version of the circuit specification due to a revision of the circuit specification includes receiving a first set of mutations that can be or have been inserted into the first version of the circuit specification and a second set of mutations that can be inserted into the second version of the circuit specification computer program. Changed and unchanged mutations are identified in the first set of mutations and in the second set of mutations based on a comparison between the second version of the circuit specification and against the first version of the circuit specification. Information configured to test the second version of the circuit specification is generated using at least a portion of the identified mutations classified as the changed mutations.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.