Web Application System's Testing Based On Finite State Machine

With the rapid development of IT infrastructure, the Thin Client Program is becoming a trend of industrial development, Web application system gradually replace the existing individual PC running terminal Fat Client application, that most of the data processing on the server side. And simple Web application systems, loosely coupled, standard, industry support and openness characteristics also make it rapid development. Therefore, to ensure the quality of Web applications has become a more critical issue. However, Web applications compare with traditional software systems has many difference on architecture, implementation techniques, composition, operating environment, operational process, operating mechanism[1], so the testing on the Web applications different with the testing on traditional software systems, but also make test on the Web application system more complex. The key step of the test is generated test cases, the good test case suites could achieve high test coverage with as less as possible[2]. Therefore, the quality of the test cases not only related to the merits of the final quality of software systems, but also related to the efficiency of the entire testing process and even the length of the whole project duration.Software testing based on the model is gradually get attention, the representative model, for example the finite state machine has become a hot research. Finite automata model can reflect the state of the interaction between software systems well, easily understood by developers and testers, and can automatically generate test cases, improve the efficiency of testing and test automation and improved traditional testing methods deficiencies. In this paper, the test Web application system finite state automata theory, the main research results are as follows:(1) Analysis the UML state diagram model of the Web application system, then translate the UML state diagram models into finite state automata model by some conversion method, and then followed by finite state automatonminimization method of the finite state automata minimization, thereby reducing the size of the state model, which achieve the purpose of simplifying the test.(2) extend the regular language described FSM rules that allow regular languages can not only reflect the FSM migration, but also reflects the state corresponding to each migration.(3) Research on the three test coverage criteria of Web application system's functional testing which is: state coverage, transition coverage and transitionpair coverage, and given a variety of test cases satistied test coverage criteria combined FSM regular expression, finally the determination-condition coverage criteria in the white box testing was refered to the functional testing of Web application system, and given various test cases satistied test coverage criteria combined with the FSM regular expression.