Abstract
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.
Users
Please
log in to take part in the discussion (add own reviews or comments).