Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method
US8407799B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 28, 2008 |
| Grant date | Mar 26, 2013 |
| Priority date | — |
| Expiry date | Apr 15, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/52
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A software behavior modeling device which forms a model of a behavior of software includes; an event information acquisition unit configured to acquire event information indicating a specific event which occurs during execution of the software; a stack information acquisition unit configured to acquire stack information stored in a call stack at a time of occurrence of the specific event; a score setting unit configured to set a score in accordance with a storage location in which each element included in the stack information is stored in the call stack; and a model generating unit configured to form a model of a relationship between the specific event and the element by using the score, and to generate a behavior model of the software.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.