Title :
A Concept Lattice Approach for Requirements Validation with UML State Machine Model
Author_Institution :
Caritas Francis Hsu Coll., Hong Kong
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.
Keywords :
Unified Modeling Language; data analysis; finite state machines; formal specification; UML state machine model; concept lattice; formal concept analysis; requirements validation; Application software; Conference management; Context modeling; Engineering management; Lattices; Organizing; Programming; Software engineering; Testing; Unified modeling language;
Conference_Titel :
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on
Conference_Location :
Busan
Print_ISBN :
0-7695-2867-8
DOI :
10.1109/SERA.2007.8
