Model-Based Test Case Minimization and Prioritization for Improved Early Fault Detection Capability

The primary purpose of software testing is to detect software failures so that defects may be discovered and corrected at earlier stages. Search-based software testing (SBST) is an interesting area of testing which offers a suite of adaptive automated and semi-automated solutions in most of the software engineering problems with multiple competing and conflicting objectives. Model-based testing aims to test the functionality of software according to the applicable requirements. Only limited research has been done on model-based testing. Depending on the size of test suite, the cost of testing varies. Test prioritization orders tests from the existing test suite, for “execution” based on some criteria such that faults can be detected as early as possible in the system. This project uses the Extended Finite State Machine (EFSM) model and the analysis of dynamic dependencies namely data dependence and control dependence along with their interaction patterns. The proposed technique named dynamic interaction-based prioritization modifies the existing approach in order to improve the early fault detection capability. Other criterion for optimization is to reduce the resource cost. The results are compared with the existing prioritization technique for few system models like ATM, Global Banking System, Windscreen Wiper, Automatic Door and Click-Response Event Simulation.