Skip to Main Content
Database has been widely used in Web applications and database interactions influence the navigations of Web applications. Besides, database interactions are among the most essential functional features in current Web applications. In this paper, special care is taken on database interactions in modeling and testing Web applications. GFSMs (Guarded Finite State Machines), which are augmented FSMs are employed as a tool to model database interactions. A GFSM-TT(GFSM test-tree) is constructed from GFSM. From the test-tree, minimal test set is derived to be employed to generate test. Finally, an algorithm is designed to optimize the test paths by decreasing the overlap. The approach we proposed can yield substantial results with test paths and state transitions are all less.