Encontrado 1 documento, a visualizar página 1 de 1

Reverse Engineered Formal Models for GUI Testing

This paper describes a process to reverse engineer structural and behavioural formal models of a GUI application by a dynamic technique, mixing manual with automatic exploration. The goal is to diminish the effort required to construct the model and mapping information needed in a model based GUI testing process. A skeleton of a state machine model of the GUI, represented in a formal pre/post specification lang...