Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules
US7055065B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 5, 2001 |
| Grant date | May 30, 2006 |
| Priority date | — |
| Expiry date | Sep 22, 2022 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3676
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present invention enables the modeling of plural outcomes resulting from a single stimulus, thereby allowing for automated test generation for non-deterministic software. In accordance with the present invention, a method, system, and computer program product are disclosed for testing software having a non-deterministic outcome. In accordance with the present invention, a set of rules is created, each rule having an associated stimulus, a precondition computation, and a computation procedure to produce the set of all valid outcome states. Each valid outcome state models one of several states that may result from applying the stimulus to any state which satisfies the precondition computation. Using these models, a test generation program is executed against the set of rules to recursively expand each path associated with an outcome state of a rule and outputting a list of valid possible outcomes, then selecting sequences of stimuli in accordance with coverage goals set by the test engineer. A test execution engine is then run against the application under test applying the sequences of stimuli to the software and a list of observed states resulting from the application of the st…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.