Open AccessMobile agent‐based regression test case generation using model and formal specifications
Author(s) -
Arora Pardeep Kumar,
Bhatia Rajesh
Publication year - 2018
Publication title -
iet software
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.305
H-Index - 43
eISSN - 1751-8814
pISSN - 1751-8806
DOI - 10.1049/iet-sen.2016.0203
Subject(s) - computer science , regression testing , unified modeling language , test case , test management approach , programming language , class diagram , sequence diagram , formal specification , xml , activity diagram , formal methods , syntax , regression analysis , software engineering , artificial intelligence , machine learning , software development , software , software construction , operating system
Regression testing ensures that the functionality of previous code is not affected by the updates in the modified code. The focus of regression test case generation is to generate test cases for changed functionality. The authors’ research advocates the use of mobile agent‐based technology for regression test case generation using syntax and semantics analysis based on model and formal specifications. In this study, the authors presented a tool for adopting multi‐agent systems for regression test case generation on distributed environment using standard unified modelling language (UML) models and formal specifications. Different agents are designed to perform model comparison, behaviour comparison, specifications comparison, impact analysis, and regression test case generation. Agents designed in JADE framework perform these tasks by using XML files of UML class diagram, sequence diagram and formal specifications based on Object‐Z and OCL. To the best of the authors’ knowledge, no research has reported regression test case generation using mobile agent‐based technology along with model and formal specifications. It is found that the use of mobile agents will significantly reduce time and effort for regression test case generation in distributed systems.