PROJECT TITLE :
Exploiting Model Morphology for Event-Based Testing
Model-based testing employs models for testing. Model-based mutation testing (MBMT) additionally involves fault models, known as mutants, by applying mutation operators to the initial model. A problem encountered with MBMT is that the elimination of equivalent mutants and multiple mutants modeling the same faults. Another problem is the requirement to compare a mutant to the initial model for check generation. This paper proposes an event-primarily based approach to MBMT that's not fastened on single events and a single model but rather operates on sequences of events of length k ≥ one and invokes a sequence of models that are derived from the initial one by varying its morphology primarily based on k. The approach employs formal grammars, connected mutation operators, and algorithms to generate test cases, enabling the following: (1) the exclusion of equivalent mutants and multiple mutants; (a pair of) the generation of a check case in linear time to kill a selected mutant without comparing it to the initial model; (three) the analysis of morphologically different models enabling the systematic generation of mutants, thereby extending the set of fault models studied in connected literature. Three case studies validate the approach and analyze its characteristics in comparison to random testing and another MBMT approach.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here