Test Cases Generation from UML Activity Diagrams

Hyungchoul Kim, Sungwon Kang, Jongmoon Baik, Inyoung Ko
2007 Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)  
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
more » ... m 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 0-7695-2909-7/07 $25.00
doi:10.1109/snpd.2007.189 dblp:conf/snpd/KimKBK07 fatcat:z5ylmdv3ybewlikkwrvhknmpqq