MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A systematic review of transformation approaches between user requirements and analysis models
Requirements Engineering
Automated transition from use cases to UML state machines to support state-based testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
An automated approach to transform use cases into activity diagrams
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Assessing composition in modeling approaches
Proceedings of the CMA 2012 Workshop
Hi-index | 0.00 |
Requirements are often structured and documented as use cases while UML state machine diagrams often describe the behavior of a system. State machines capture rich and detailed behavior of a system, which can serve as a basis for many automated activities such as automated test case and code generation. The former is of interest in this paper. Non-functional behavior can be modeled using standard UML state machines, but usually results in complex state machines. To cope with such complexity, Aspect-Oriented Modeling (AOM) is often recommended. AspectSM is a UML profile defined to model crosscutting behavior on UML state machines called as aspect state machines with the focus of supporting model-based test case generation for non-functional behavior. Hence, an automatic transition from use cases to aspect state machines would provide significant, practical help for testing system requirements. In this paper, we propose an approach to automatically generate aspect state machines from use cases for the purpose of non-functional testing. Our approach is implemented in a tool, which we used for two industrial case studies. Results show that high quality aspect state machines can be generated, which can be manually refined at a reasonable cost to support testing.