关键词: Web应用，功能构件，建模，测试准则，测试用例

Abstract: There are great differences between Web applications and the traditional programs. The modeling and testing methods of the traditional programs can not be fully fit for Web applications. An approach to generating test cases effeclively was presented. A Web application was divided into a set of functional components, each of which corresponded to an actual Web application module. A directed graph is employed to represent the structural relationship among the functional components, an FSM was used to represent their behavioral relationship, and the FSM composition was used to represent their interactions. In testing,two test criteria which are complete executing sectuence coverage and component complete executing sequence coverage were proposed.To satisfy these two criteria respectively, different test sets were generated. Additionally,a test case generation prototype was designed for the approach proposed.

Key words: Web application, Functional component, Modeling, Test criterion, Test case