Model-based GUI Test Case Generation

Nowadays, The Graphical User Interface (GUI) has become an indispensable part of software. With the expansion of the soft scale, GUI system has become more and more complex. Meanwhile, its function has been stronger and stronger. As a result, the testing on GUI falls into a difficult situation. Owing to the repeated and boring manual testing, people have a stronger demanding on automated GUI testing.The testing tools based on record and playback mechanism are popularly used in engineering practice. However, the key step of the test generation is still hand-made. The method, model-based automatic test cases generation, has always been a academia respected way to problems of test automation.In this thesis, the author will study about the auxiliary usage of the state machine model in generating GUI test cases. The main work of this paper is as follows:1. The paper proposes the GUI modeling method for testing. The system models respectively by two methods:using Finite State Machine (FSM) model and using Event Flow Graph model. In addition, the author improves the state transition table by insert table the window thumbnails, which makes the descriptive way based on FSM more intuitively. What’s more, this paper proposes a rule-based approach to simplify the complexity of the FSM model, then gives a simplified algorithm.2. The paper presents the test case generation algorithms based on GUI modeling. It puts forward three coverage criteria of the FSM model.what’s more, three test case generation algorithms to meet these three coverage criteria respectively are given. Finally, this thesis conducts experiments and analyze results.