Model Composition and Generating Tests for Web Applications

Nowadays, with the prevalence of Web applications, more and more services and information are available over the Internet while their correctness, security and reliability are often crucial to the success of business and organizations. Web testing is one of the methods to ensure the Web security. However, due to the special characters of Web applications, traditional testing methods are not suitable for Web testing in many as-pects. A typical Web application consists of two tiers: the client, the server. Most existing works consider Web applications testing from an external or a user's view, not taken the interactions and the behaviors of the server side into account. In this paper, special care on the interactions and the behaviors of server side is paid, and an approach to model composition and testing Web applications is proposed. FSMs are used to model Web applications from the user's side, and the server's side, respectively. Then, synchronous product was employed as a tool to construct a composition of FSMs. Finally, based on the composition of FSM, test generation is given out which satisfies the correspond-ing coverage criteria.