Open Access iconOpen Access



Achieving State Space Reduction in Generated Ajax Web Application State Machine

Nadeem Fakhar Malik1,*, Aamer Nadeem1, Muddassar Azam Sindhu2

1 Department of Computer Science, Capital University of Science and Technology, Islamabad, 45750, Pakistan
2 Department of Computer Sciences, Quaid-i-Azam University, 45320, Pakistan

* Corresponding Author: Nadeem Fakhar Malik. Email: email

Intelligent Automation & Soft Computing 2022, 33(1), 429-455.


The testing of Ajax (Asynchronous JavaScript and XML) web applications poses novel challenges for testers because Ajax constructs dynamic web applications by using Asynchronous communication and run time Document Object Model (DOM) manipulation. Ajax involves extreme dynamism, which induces novel kind of issues like state explosion, triggering state changes and unreachable states etc. that require more demanding web-testing methods. Model based testing is amongst the effective approaches to detect faults in web applications. However, the state model generated for an Ajax application can be enormous and may be hit by state explosion problem for large number of user action based changes and for immense dynamism. Recent research has not addressed this issue comprehensively because existing techniques either apply partial reduction or compromise the effectiveness of testing. This research uses soft computing based Fuzzy C Means (FCM) clustering algorithm to generate state machine model of an Ajax web application. The focus is on devising a framework to avoid the state explosion problem. The framework prioritizes the requirements and use cases based on requirements weightage, stakeholder weightage and user session based use case frequency. FCM uses this data to reduce the state space by identifying the most pivotal usage areas. The resultant DOM mutations for only these usage areas are considered to induce the finite state machine thus avoiding the state explosion. Experimental results show that the framework controls the size of generated state machine without compromising the effectiveness of testing.


Cite This Article

N. Fakhar Malik, A. Nadeem and M. Azam Sindhu, "Achieving state space reduction in generated ajax web application state machine," Intelligent Automation & Soft Computing, vol. 33, no.1, pp. 429–455, 2022.

cc This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 1709


  • 604


  • 0


Share Link