Timed API rules for runtime verification
US9519495B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 14, 2013 |
| Grant date | Dec 13, 2016 |
| Priority date | — |
| Expiry date | Oct 19, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3612
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A stateful rules verification platform is described that support timed state transitions. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs (“API provider”) and applications (“API clients”) that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to specify timed state transitions for at least some rules that impose time limits on state transitions specified by the rules.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.