Random test generation using an optimization solver
US7530036B2 · kind B2 · utility
4Cited by
4References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 8, 2007 |
| Grant date | May 5, 2009 |
| Priority date | — |
| Expiry date | Feb 8, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG01R31/318364
- WIPO fieldMeasurement
- WIPO sectorInstruments
Abstract
An optimization process is repeatedly invoked over an input, which includes the set of constraints and the objective function. The input of each invocation is randomly modified, so as to cause the optimization process to produce multiple different solutions that satisfy the set of constraints. Multiple random test cases for verifying a compliance of the design with the specifications are generated, based on the multiple different solutions produced by the optimization process.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.