Method and apparatus for software simulation
US8494832B2 · kind B2 · utility
Inventors
Key dates
| Filing date | Jun 18, 2008 |
| Grant date | Jul 23, 2013 |
| Priority date | — |
| Expiry date | Jun 30, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3696
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A software simulation method and program storage device for software defect detection and obtaining insight into software code is disclosed, where simulation consists of executing target software program code for multiple input values and multiple code paths at the same time, thus achieving 100% coverage over inputs and paths without actually running the target software. This allows simulation to detect many defects that are missed by traditional testing tools. The simulation method runs a plurality of algorithms where a plurality of custom defined and pre-defined rules are verified in target software to find defects and obtain properties of the software code.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.