Random test generation using an optimization solver
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. Multi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Patent |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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. |
|---|