earticle

영어

The paper presents a method of test generation for Web applications based on model partition. Compared with the method of test tree for test generation, our approach ensures the effectiveness of test paths generated from the model of Web applications. In this paper, we 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. Finally, we take the student course system as an example to illustrate our approach.