| With the development of web technology,web application security problems gradually be taken seriously. Under the background of the development of testing technology, model-based testing has become an important means to ensure the quality of web application. Nevertheless,as the web application scale expanding,the scale of test case set produced by model-based testing technology is huge.It has important research value to find a more general software testing method to improve the efficiency of software testing.Web application testing method based on model comparison is kind of balck-box software testing method.The method can be divided into three steps:web application model establishment,model comparison and test suite generation.First of all, web software specification model which is on behalf of the web application software structure and behavior characteristics will be builded by uml state chart according to the document generated from the web application software requirement analysis and design phase.Then the implementation model of web application is generated by the web application navigation model generation method which is based on the black-box testing. The specification model and implementation model will be transformed into the same form for comparison.Secondly,the differences between specification model and implementation model will be generated on the model comparison phase.Thirdly, based on the implementation model and the differences generated on the second phase,generating the test suite. The software testing method based on model comparison can find errors from software requirement and implementation which is more comprehensive. At the same time by building a model to generate test cases,making test case generation process much more automated.In the test suite generation process,test suite is generated from the difference between requirements and implements which is a sub-domin containing rich failure causing inputs. This method can effectively reduce the scale of test suite and improve testefficiency.As is shown in the experimental results, the software testing method based on model comparison can effectively distinguish the type of software errors,reduce the scale of test suite and accelerate testing process. |