Avoiding state explosion problem of generated AJAX web application state machine using BDD

There is growing tendency of users to use web application in place of desktop application because of technological advancement such as AJAX. AJAX is used to build single page web application because content and structure can be changed using AJAX features like Asynchronous communication and run time DOM manipulation. To understand and analyze extreme dynamism of web application, we implemented a tool which is used to generate state machine model of dynamic behavior of user session. In this research paper, we validated and evaluated efficiency of the generated model to detect faults embedded area. However, the state machine can be huge and unbounded and may hit by state explosion problem for large number of user session traces and for extreme dynamism. In this paper to avoid this problem, we used binary decision diagram, a model checking technique to reduce state space at the time of state machine generation. Finally, we are able to control the size of generated state machine without affecting faults embedded area.