UML activity diagram is a notation suitable for modeling a concurrent system in which multiple objects interact with each other. This paper proposes a method to generate test cases from UML activity diagrams that minimizes the number of test cases generated while deriving all practically useful test cases. Our method first builds an I/O explicit Activity Diagram from an ordinary UML activity diagram and then transforms it to a directed graph, from which test cases for the initial activity diagram are derived. This conversion is performed based on the single stimulus principle, which helps avoid the state explosion problem in test generation for a concurrent system.
Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) pp. 556-561
%0 Journal Article
%1 10.1109/SNPD.2007.525
%A Kim, 1
%A Kang, 1
%A Baik, 1
%A Ko, 1
%C Los Alamitos, CA, USA
%D 2007
%I IEEE Computer Society
%J snpd
%K imported
%P 556-561
%R http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.525
%T Test Cases Generation from UML Activity Diagrams
%V 03
%X UML activity diagram is a notation suitable for modeling a concurrent system in which multiple objects interact with each other. This paper proposes a method to generate test cases from UML activity diagrams that minimizes the number of test cases generated while deriving all practically useful test cases. Our method first builds an I/O explicit Activity Diagram from an ordinary UML activity diagram and then transforms it to a directed graph, from which test cases for the initial activity diagram are derived. This conversion is performed based on the single stimulus principle, which helps avoid the state explosion problem in test generation for a concurrent system.
%@ 0-7695-2909-7
@article{10.1109/SNPD.2007.525,
abstract = {UML activity diagram is a notation suitable for modeling a concurrent system in which multiple objects interact with each other. This paper proposes a method to generate test cases from UML activity diagrams that minimizes the number of test cases generated while deriving all practically useful test cases. Our method first builds an I/O explicit Activity Diagram from an ordinary UML activity diagram and then transforms it to a directed graph, from which test cases for the initial activity diagram are derived. This conversion is performed based on the single stimulus principle, which helps avoid the state explosion problem in test generation for a concurrent system.},
added-at = {2008-06-03T16:55:08.000+0200},
address = {Los Alamitos, CA, USA},
author = {Kim, 1 and Kang, 1 and Baik, 1 and Ko, 1},
biburl = {https://www.bibsonomy.org/bibtex/26d27c709999b6f600cecad521c6edf61/ist_spl},
description = {Test Cases Generation from UML Activity Diagrams},
doi = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.525},
interhash = {5e94ba141951d43a43f308187aa4bf9d},
intrahash = {6d27c709999b6f600cecad521c6edf61},
isbn = {0-7695-2909-7},
journal = {snpd},
keywords = {imported},
note = {Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) pp. 556-561},
pages = {556-561},
publisher = {IEEE Computer Society},
timestamp = {2008-06-03T16:55:11.000+0200},
title = {Test Cases Generation from UML Activity Diagrams},
volume = 03,
year = 2007
}