Effects of FSM minimization techniques on number of test paths in mobile applications MBT

Model Based Testing (MBT) is defined as the process of generating functional test cases based on a model that describes the behavior of an application under test (AUT). It is used to ensure that the intended purpose of the application will function as expected, where if any change in the behavior is encountered it would be reported as a bug. Previous research in MBT has only focused on automating the generation step of the application's model. Given that testing each path of the model would take infinite time since the generated model is usually huge and with multiple iterations, researchers have also focused on different techniques of test case selection and generation. However, it is not yet known if the generated model could be enhanced before the test case selection step, and whether this enhancement could positively affect the number of test paths or not. The aim of our research is to enhance MBT by first minimizing the generated model; removing any equivalent states; and examining the effect of minimization on the generated number of test paths using different test coverage criteria.