EXTRACTING A DETERMINISTIC FINITE-STATE MACHINE MODEL OF A GUI BASED APPLICATION

摘要

A method of modeling a graphical user interface (GUI) based application as a deterministic finite-state machine may include generating dummy error state and a dummy error output in a finite-state machine. The method may further include modeling a response to an action that is unavailable on a screen of a graphical user interface (GUI) based application as a transition to the dummy error state in the finite-state machine while producing the dummy error output in the finite-state machine.