A Concept Lattice Approach for Requirements Validation with UML State Machine Model A Concept Lattice Approach for Requirements Validation with UML State Machine Model
P. Ng, и P. Ng. Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on, стр. 393--400. (2007)
DOI: 10.1109/SERA.2007.8
Аннотация
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.
%0 Conference Paper
%1 ng_07_concept
%A Ng, Pin
%A Ng, Pin
%B Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on
%D 2007
%J Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on
%K 2007 statecharts uml
%P 393--400
%R 10.1109/SERA.2007.8
%T A Concept Lattice Approach for Requirements Validation with UML State Machine Model A Concept Lattice Approach for Requirements Validation with UML State Machine Model
%U http://dx.doi.org/10.1109/SERA.2007.8
%X 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.
@inproceedings{ng_07_concept,
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.},
added-at = {2009-02-11T20:53:04.000+0100},
author = {Ng, Pin and Ng, Pin},
biburl = {https://www.bibsonomy.org/bibtex/208319e223b69bdf83508b9efa59f57bc/leonardo},
booktitle = {Software Engineering Research, Management \& Applications, 2007. SERA 2007. 5th ACIS International Conference on},
citeulike-article-id = {2155747},
doi = {10.1109/SERA.2007.8},
interhash = {0d74f0abd240a1bef6f5a37ff57afe98},
intrahash = {08319e223b69bdf83508b9efa59f57bc},
journal = {Software Engineering Research, Management \& Applications, 2007. SERA 2007. 5th ACIS International Conference on},
keywords = {2007 statecharts uml},
pages = {393--400},
posted-at = {2007-12-21 14:58:59},
priority = {2},
timestamp = {2009-02-11T20:53:04.000+0100},
title = {A Concept Lattice Approach for Requirements Validation with UML State Machine Model A Concept Lattice Approach for Requirements Validation with UML State Machine Model},
url = {http://dx.doi.org/10.1109/SERA.2007.8},
year = 2007
}