Efficient Test Case Generation Using Model-Based Testing, and Model Paradigm Approach

One approach to software testing is known as model-based testing, where test cases are generated from a model that represents the functional aspects of the system under test. If the system model is explicitly defined and accurately reflects the system’s behaviour, it can serve as a shared and reusable artefact. For example, the model can be utilized to generate a comprehensive test suite for the system under test (SUT), a methodology commonly referred to as model-based testing (MBT). Over time, the efficiency, capability, and maintainability of both computer code design and model-based systems have continually improved. However, there has been relatively little effort made to gather evidence to assess the precise relationship, boundaries, and practical challenges between the two. This review study aims to address the creation and prioritization of test cases, with a specific focus on reducing redundancy in test cases to enhance the system’s efficiency and effectiveness. In addition to addressing redundancy, this study proposes the use of finite state machines (FSM) as a modelling paradigm. Refactoring, which involves making changes to an application’s source code without altering its external functionality, is introduced to enhance code readability, complexity, extensibility, and maintainability. Code smells, which lead to the generation of redundant test cases, are mitigated through these refactoring techniques. Statistical analysis and methods are employed in this study to proactively reduce test cases by identifying instances of “lazy class code.” By assessing code cohesion and dependencies and implementing inline class refactoring techniques before test case generation, the study significantly reduces the number of redundant test cases produced. The primary objective of this work is to construct a test model from a UML activity diagram. From this test model, test paths for composite testing are derived. The study also provides various criteria for constructing test paths and outlines an automated method for this purpose.