API Rules Verification Platform

A method implemented by at least one computing device comprising:

• obtaining one or more stateful rules defined for application programming interface (API) verification of a target system in accordance with a rules specification language;
• enabling run-time verification for the target system via a verification platform;
• intercepting calls made by components of the target system during a testing run;
• automatically generating verification checks for the intercepted calls based on the stateful rules defined for API verification of the target system;
• and
• applying the verification checks to determine adherence of the components of the target system to the stateful rules.

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:

• implementing a rules specification language to define stateful rules for application programming interface (API) verification in terms of transitions for state machines associated with events;
• creating one or more stateful rules for verification of target systems in accordance with the specification language;
• performing run-time verifications of the target systems using the one or more stateful rules;
• performing static verifications of the target systems using the one or more stateful rules;
• and
• documenting the one or more stateful rules and results of verifications based on the one or more stateful rules.