Finite State Machine for Automatic GUI Testing

Finite State Machine is an effective method commonly used in software designing and developing. It is also of great value in the process of software testing. As interactive activities with users are more primary for up to date software applications, the implementation of program logic correctness is then the main concern for both the end users and vendors. This issue presents novel automatic software testing with FSM methodology, and the main problems are discussed as follows: firstly, introduces state analytical method often used in software design and development. Secondly, represents operational profiles of the program with the events-states transferring sequences thus is fit for state space analysis. Thirdly, conducts automatic testing process based on previous operational profiles. Lastly, designs experiments to validate the effectiveness of this method. This issue concludes FSA is a very efficient method in testing the inner logic errors in GUI software.