Open Access

ARTICLE

Achieving State Space Reduction in Generated Ajax Web Application State Machine

by Nadeem Fakhar Malik^1,*, Aamer Nadeem¹, Muddassar Azam Sindhu²

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:

Intelligent Automation & Soft Computing 2022, 33(1), 429-455. https://doi.org/10.32604/iasc.2022.023423

Received 07 September 2021; Accepted 10 November 2021; Issue published 05 January 2022

Abstract

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.

---

Keywords

---