TY - GEN
T1 - A concept lattice approach for requirements validation with UML state machine model
AU - Ng, Pin
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38649127221&partnerID=8YFLogxK
U2 - 10.1109/SERA.2007.8
DO - 10.1109/SERA.2007.8
M3 - Conference contribution
AN - SCOPUS:38649127221
SN - 0769528678
SN - 9780769528670
T3 - Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications
SP - 393
EP - 400
BT - Proceedings - SERA 2007
T2 - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications
Y2 - 20 August 2007 through 22 August 2007
ER -