Active property checking
US8549486B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 21, 2008 |
| Grant date | Oct 1, 2013 |
| Priority date | — |
| Expiry date | Oct 29, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An exemplary method includes providing software for testing; during execution of the software, performing a symbolic execution of the software to produce path constraints; injecting issue constraints into the software where each issue constraint comprises a coded formula; solving the constraints using a constraint solver; based at least in part on the solving, generating input for testing the software; and testing the software using the generated input to check for violations of the injected issue constraints. Such a method can actively check properties of the software. Checking can be performed on a path for a given input using a constraint solver where, if the check fails for the given input, the constraint solver can also generate an alternative input for further testing of the software. Various exemplary methods, devices, systems, etc., are disclosed.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.