Automatic Generating Test Cases for Testing Web Applications

In order to ensure the security and reliability of Web application, the testing of Web application is one of the most effective methods. This work regards a Web application as the composition of different interactive logical components (LCs). We combine LCs with agent to assist to automatic generate test cases for testing Web applications. From pages-flow-diagram (PFD) of Web application under test, this research successively partitions Web applications into LCs, at different levels of abstraction, each of which is composed of Web pages and other LCs. We use an automaton to model each LC, and use compositions of automata to model interaction of LCs. Our approach supports concurrent access and interaction between LCs. It avoids the state space explosion problem effectively. It also enhances the reuse of component interactions and overcomes differences in actions between LCs by using an agent as a coordinator.