Abstract
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 appli-cations. 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 gen-eration with Web browser interactions and PDR is proposed. The extended FSM (OFNM/FSM) is em-ployed 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.