Applying formal concept analysis in prioritizing model-based test scenario

Model-based test prioritization is about the use of system model in prioritizing test cases to fulfill some testing adequacy criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the transition coverage of a set of test scenarios derived from state machine-based specification. FCA is a mathematical technique for systematically combining and organizing individual concepts of a given context into hierarchically ordered conceptual structure, known as concept lattice. The properties of concept lattice structure can be used in prioritizing the set of test scenarios so as to achieve a faster rate of transition coverage for system testing.