摘要 |
In one embodiment, a method includes accessing and crawling a dynamic web application that comprises a client tier. In one embodiment, the crawling includes one or more instances of guided crawling that each initiate when a preceding instance of automatic crawling reaches a state in the dynamic web application that meets one or more predetermined criteria for the instance of guided crawling and, when initiated, perform one or more predetermined actions with respect to the dynamic web application. The method further includes generating, based on the crawling, a screen transition model of the dynamic web application. In a particular embodiment, the screen transition model includes a hierarchical finite state machine (FSM). In one embodiment, after the generation of the screen transition model has completed, the method further includes performing model checking on the screen transition model to validate the client tier of the dynamic web application. |