DocumentCode
3339461
Title
A Concept Lattice Approach for Requirements Validation with UML State Machine Model
Author
Ng, Pin
Author_Institution
Caritas Francis Hsu Coll., Hong Kong
fYear
2007
fDate
20-22 Aug. 2007
Firstpage
393
Lastpage
400
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on
Conference_Location
Busan
Print_ISBN
0-7695-2867-8
Type
conf
DOI
10.1109/SERA.2007.8
Filename
4296963
Link To Document