Test Cases Generation from UML Activity Diagrams

Authors:
Hyungchoul Kim;Sungwon Kang;Jongmoon Baik;Inyoung Ko
Affiliations:
Information and Communications University, Korea;Information and Communications University, Korea;Information and Communications University, Korea;Information and Communications University, Korea
Venue:
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03
Year:
2007

Citing 0
Cited 9

Deriving tests from UML 2.0 sequence diagrams with neg and assert

Proceedings of the 2006 international workshop on Automation of software test
Test ready UML statechart models

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Automatic generation of test specifications for coverage of system state transitions

Information and Software Technology
Synthesis of test scenarios using UML activity diagrams

Software and Systems Modeling (SoSyM)
Automated test scenario selection based on levenshtein distance

ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Transition sequence exploration of UML activity diagram using evolutionary algorithm

Proceedings of the 5th India Software Engineering Conference
Generating class contracts from deterministic UML protocol statemachines

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Testing for concurrency in UML diagrams

ACM SIGSOFT Software Engineering Notes
UML behavioral model based test case generation: a survey

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

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.