Modeling Web Browser Interactions and Generating Tests

Web applications can only be accessed through dedicated client systems called Web browsers. The behaviors of Web browser interactions influence the security, functionalities and navigation of Web applications. Modeling and testing Web applications should take them into account. In this paper, special care on Web browser interactions is paid and an approach to modeling on-the-fly navigation models and test generation with Web browser interactions and PDR is proposed. The extended FSM (OFNM/FSM) is employed to formalize the on-the-fly navigation models and a FSM-TT (FSM Test-Tree) derived from the OFNM/FSM is constructed using the algorithm we present. Test generation is given out from FSM-TT which satisfies the corresponding coverage criteria.