An FSM based GUI test automation model

Graphical User Interfaces (GUIs) constitute a large proportion of today's software and are becoming more and more complex. Testing the correctness of GUIs and their underlying software is paramount for providing quality software products. Manual testing is extremely slow and unacceptably expensive. We present a new technique which enables the process of generating test cases and testing automation, based on an innovative model. Given a GUI based application, the set of GUI states and their running logic is modeled as a finite state machine (FSM). The efficiency of the model is formally analyzed and compared with event flow graph (EFG) model. The results show that our model is more efficient in storage.