Research On Construction Of EFSM Model For Web Application Based On Ajax

Model-based Software Testing technology,which has been a vital research topic in the automatic testing realm,is getting more and more attractive in both academia and industry.After entering the era of Web2.0,Ajax has been widely used in the web application.Web application modeling is becoming increasingly challenging since Ajax is able to refresh web pages asynchronously.However,primary research targets in web application modeling methodology studies are web applications that do not include Ajax.A minority of modeling researches that do focus on Ajax characteristics still use traditional FSM model or UML model,which is unable to handle the parameter passing process after a message is triggered on the client side.Hence,in this paper,with EFSM(Extended Finite State Machine)model being exploited as the description model for the Web application,a novel symbolic Web application description method is raised.Via defining the state and transition of EFSM model using real user behavior traces,the model of the Web application is established.Three adequacy criteria are proposed for replenishing trace set based on user behavior trace,within which one criterion is chosen for producing the corresponding minimum set.The initial EFSM model is constructed on top of user behavior traces which is then revised and simplified,reducing the redundant states and transitions while still ensuring the effectiveness and accuracy of the model results.To validate the effectiveness of the modeling methodology proposed in this paper,we conduct a series of specialized experiments.Experiment results demonstrate that the proposed method is able to generate the EFSM model corresponding to the targeted Web application within a reasonable time duration.The produced model effectively describes the asynchronous refreshing characteristics and parameter passing process of Web applications employing Ajax.The integrity of the modeling result is retained while decreasing the size of the original traces with the help of the adequacy criteria proposed in this paper,enhanced the modeling efficiency.