Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Automated transition from use cases to UML state machines to support state-based testing
Yue T., Ali S., Briand L.  ECMFA 2011 (Proceedings of the 7th European Conference on Modelling Foundations and Applications, Birmingham, UK, Jun 6-9, 2011)115-131.2011.Type:Proceedings
Date Reviewed: Nov 19 2012

Model-based testing has grown in popularity and the ability to automatically generate and trace models from use cases could provide significant benefits. The aToucan system, built at the Simula Research Laboratory, delivers such automation, though it requires a more formal approach for writing use cases. For example, keywords must be used for specifying control structures. The transformation rules--which take an instance of UCMeta and the intermediate modeling used by aToucan, and generate a system-level, state-based model--are the main focus of the paper. An impressive array of technologies is used by aToucan, including the Eclipse modeling framework, the Kermeta metaprogramming environment, and the Stanford parser for natural language processing.

Section 6 discusses an informal evaluation of system-level, state-based models generated by aToucan. Use cases are said to need correct preconditions and correct postconditions, if the quality of the generated model is not to suffer. Also, the inability to model sequences of use case executions is said to sometimes impact the quality of generated models. Human experts were required to add two transitions to the generated model shown in appendix B. The process of human refinement of this generated model, however, is said to have taken only 40 minutes.

The case for automation provided by aToucan would have been stronger had actual results of model-based testing been reported. Those with experience with agile approaches in software development are likely to question the wisdom of making use case writing more formal. Despite these criticisms, this paper is recommended to the software engineering community.

Reviewer:  Andy Brooks Review #: CR140679 (1303-0233)
Bookmark and Share
  Featured Reviewer  
 
Requirements/ Specifications (D.2.1 )
 
 
State Diagrams (D.2.2 ... )
 
 
Testing And Debugging (D.2.5 )
 
Would you recommend this review?
yes
no
Other reviews under "Requirements/Specifications": Date

Moriconi M. (ed), Lansky A.Type: Article
Dec 1 1985
A unifying framework for structured analysis and design models
Tse T., Cambridge University Press, New York, NY, 1991. Type: Book (9780521391962)
Jun 1 1992
A skeleton interpreter for specialized languages
Steensgaard-Madsen J.  Programming Languages and System Design (, Dresden, East Germany,1861983. Type: Proceedings
Mar 1 1985
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy