Zusammenfassung
Formal Concept Analysis (FCA) is a mathematical technique for systematically combining and organizing individual concepts of a given context into hierarchically ordered conceptual structure - concept lattice. We are proposing to apply FCA in analyzing the association between a set of test scenarios with a set of transitions specified in a UML state machine model. By applying the concept analysis mechanism, we are able to determine a minimal set of test scenarios that can sufficiently cover all the transitions for the purpose of requirements validation.
Nutzer