| Web application testing is a very important means to guarantee the quality of Web applications, and it is also vital to improve its reliability and security. Due to the nature of Web applications differs from traditional software, such as dynamic, distributed and diversity, testing Web applications has brought great challenges. So to improve the traditional software testing method or to research a new Web application testing method is necessary. The model-based Web application testing technology is a new way and approach for Web application testing. It builds the corresponding mode through the analysis of the structure and behavior of Web applications, and then use the model to generate test cases, so as to realize the automation of Web application testing.Test method of Web application based on navigation model is mainly divided into two parts which are navigation model construction and test case generation. First of all, gets the form and link elements of Web pages by extracting the information automaticly from Web application, and analyses the navigation relation between each Web pages, and then builds Web application navigation mode by using the Web site structure information, at the same time puts forward the classification method of equivalence class URL to solve the state space explosion problem of navigation model. Then converts the navigation model into the FSM model in order to make the subsequent Web application testing more automated. This process ensures the invariance of state and migration. And then converts FSM model into a state transition tree structure by using the method of state transition, at the same time reduces the state transition tree according to the state of the tree node whether it has interaction with user input or not, finally gets the test case by traversing the reducted state transition tree.Experimental results show that test method of Web application based on navigation model can reduce the state space of navigation model in practical effectively, and the generated test cases have lower degree of redundancy, which can effectively reduce the cost of Web application testing, and achieves the expected research goals. |