METHOD FOR VERIFICATION OF MODEL OF GUI-BASED APPLICATION AND COMPUTER READABLE MEMORY MEDIUM

摘要

PROBLEM TO BE SOLVED: To improve the accuracy of a deterministic finite state-machine (DFSM) model created observing the operation of an application based on graphical user interface (GUI).SOLUTION: First, a DFSM model is constructed with no path 503 of a speculative model 500b. A specific pattern indicating a hidden operation is applied, as a rule pattern, to a model, to detect inconsistency with the rule pattern. For the inconsistency, a new model is created, and a path 503 is added, to obtain a correct speculative model 500b.