Automated transition from use cases to UML state machines to support state-based testing

Authors:
Tao Yue;Shaukat Ali;Lionel Briand
Affiliations:
Simula Research Laboratory, Lysaker, Norway;Simula Research Laboratory, Lysaker, Norway and Department of Informatics, University of Oslo, Oslo, Norway;Simula Research Laboratory, Lysaker, Norway and Department of Informatics, University of Oslo, Oslo, Norway
Venue:
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Year:
2011

Citing 7
Cited 5

Designing Concurrent, Distributed, and Real-Time Applications with Uml

Designing Concurrent, Distributed, and Real-Time Applications with Uml
Use Case Modeling

Use Case Modeling
A survey on model-based testing approaches: a systematic review

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Scenarios of traceability in model to text transformations

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A systematic review of transformation approaches between user requirements and analysis models

Requirements Engineering
An automated approach to transform use cases into activity diagrams

ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications

Functional requirements validation by transforming use case models into Abstract State Machines

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Supporting software language engineering by automated domain knowledge acquisition

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Bridging the gap between requirements and aspect state machines to support non-functional testing: industrial case studies

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
On integrating structure and behavior modeling with OCL

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Facilitating the transition from use case models to analysis models: Approach and experiments

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

Use cases are commonly used to structure and document requirements while UML state machine diagrams often describe the behavior of a system and serve as a basis to automate test case generation in many model-based testing (MBT) tools. Therefore, automated support for the transition from use cases to state machines would provide significant, practical help for testing system requirements. Additionally, traceability could be established through automated transformations, which could then be used for instance to link requirements to design decisions and test cases, and assess the impact of requirements changes. In this paper, we propose an approach to automatically generate state machine diagrams from use cases while establishing traceability links. Our approach is implemented in a tool, which we used to perform three case studies, including an industrial case study. The results show that high quality state machine diagrams can be generated, which can be manually refined at reasonable cost to support MBT. Automatically generated state machines showed to largely conform to the actual system behavior as evaluated by a domain expert.