Methods for identifying silent failures in an application and devices thereof

摘要

A method system and computer program product are disclosed for identifying silent failures in an application, comprising of generating a finite state machine (FSM) model of the application based on an input data, extracting state specific invariants relevant to the generated FSM, performing a localized invariant violation check at each state of the generated FSM and upon detection of an invariant violation at any state of the FSM, logging the violation as a silent failure.

主权项

1. A method for identifying silent failures in an application, comprising:
generating, by a failure identification computing device, a Finite State Machine (FSM) model of the application based on an input data; extracting, by the failure identification computing device, state specific invariants relevant to the generated FSM; performing, by the failure identification computing device, a localized invariant violation check at each state of the generated FSM to detect an invariant violation; and upon detection of the invariant violation at any state of the FSM, logging, by the failure identification computing device, the violation as a silent failure.