Science & Engineering Research Support soCiety (SERSC)
In this paper, the authors present a method of test generation for Web applications based on model partition. Compared with the method of test tree for test generation, their approach ensures the effectiveness of test paths generated from the model of Web applications. In this paper, they first employ the Kripke structure to modeling the navigation behavior of a Web application. Then the theory for model partition is proposed to solve the problem of inefficiency test paths. Next, a frame of test generation based on model partition is designed to support test generation and redundancy reduction of test paths.