Model-based testing using branches, decisions, and options
US8225288B2 · kind B2 · utility
284Cited by
13References
18Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jan 29, 2008 |
| Grant date | Jul 17, 2012 |
| Priority date | — |
| Expiry date | Jan 6, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3672
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Some embodiments of the present invention provide a system that tests a software program. During operation, the system creates a behavioral model of the software program using branches, decisions, and options. Next, the system generates a test case from the behavioral model and executes the test case on the software program. Finally, the system analyzes an output of the executed test case to determine a validity of the software program.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.