US 2014/0372986 A1 · Timed API Rules for Runtime Verification

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.

Claims20

Dependent claims

A computing system including one or more computing devices comprising:

one or more processing systems;
and
one or more computer-readable storage media storing instructions executable by the one or more processing systems to implement:
a target system for verification including an application programming interface (API) provider that exposes one or more APIs and one or more API clients that use the APIs;
a rules specification language configured to define stateful rules for run-time verification of the target system including constructs to specify timed state transitions for at least some of the stateful rules;
one or more stateful rules including one or more rules that specify timed state transitions for verification of the target system defined in accordance with the rules specification language;
and
a run-time verifier module configured to apply the one or more stateful rules to generate verification checks for interactions between the API provider and the API clients for run-time verification of the target system to verify adherence to the stateful rules prescribed for the target system, including evaluation of timing for the timed state transitions that are specified.

5 more elements

One or more computer-readable storage media storing instructions that, when executed by one or more components of a computing system, implement a verification platform configured to perform operations including:

deriving verification checks for run-time verification of a target system from stateful rules including at least some rules that impose time limits on state transitions defined by the rules;
initiating timers for one or more state transitions upon which time limits are imposed in connection with run-time verification of a target system;
evaluating the timers initiated for the one or more state transitions relative to corresponding time limits;
and
reacting with one or more responsive actions to violations of the time limits for the one or more state transitions based on the evaluation.

2 more elements

Dependencies are inferred from the claim text.

Timed API Rules for Runtime Verification

Life of this patent

Timed API Rules for Runtime Verification

Life of this patent

Abstract

Claims20