An Approach to Testing Web Applications On-The-Fly

This work proposes an on-the-fly testing approach for Web applications based on automaton theory. Web applications and test directives which are used to select test cases are modeled by FSM (Finite State Machine). Synchronous product is used to combine these two kinds of FSMs in order to check whether the SUT (System Under Test) includes the behavior expressed by the test directive. Test cases are generated automatically as the synchronous product of the specification and the test directive is constructed on-the-fly. For illustration, a case study of the WGSS (Web Grade Submit System) is exemplified. This approach can avoid the state-explosion problem through building a small portion of state space of Web applications before a test case is generated.