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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6698 LNCS, Issue , 2011, Pages 115-131

  Yue, Tao ^a   Ali, Shaukat ^a,b   Briand, Lionel ^a,b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Model Based Testing (MBT); Natural Language Processing; State Machine; State based Testing; Transformation; UML; Use Case Modeling

Indexed keywords

MODEL BASED TESTING; NATURAL LANGUAGE PROCESSING; STATE MACHINE; STATE-BASED TESTING; TRANSFORMATION; UML; USE CASE MODELING; USE CASE MODEL;

AUTOMATION; COMPUTATIONAL LINGUISTICS; INDUSTRIAL APPLICATIONS; NATURAL LANGUAGE PROCESSING SYSTEMS; MODEL CHECKING; MODELING LANGUAGES;

MATHEMATICAL MODELS; UNIFIED MODELING LANGUAGE;

EID: 79959243446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21470-7_9     Document Type: Conference Paper

References (23)

1. Shafique, M., Labiche, Y.: A Systematic Review of Model Based Testing Tool Support. Carleton University, Technical Report SCE-10-04
2. Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: The 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies. ACM, Atlanta (2007)
3. Yue, T., Briand, L.C., Labiche, Y.: Automatically Deriving a UML Analysis Model from a Use Case Model. Simula Research Laboratory, Technical Report 2010-15 (2010)
4. Yue, T., Briand, L.C., Labiche, Y.: An Automated Approach to Transform Use Cases into Activity Diagrams. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 337-353. Springer, Heidelberg (2010)
5. Cisco Norway (Tandberg), http://www.tandberg.no/
6. IEEE Std. 830-1998, IEEE Standard for Software Requirement Specification (1998)
7. Olsen, G.K., Oldevik, J.: Scenarios of traceability in model to text transformations. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 144-156. Springer, Heidelberg (2007)
8. Yue, T., Briand, L.C., Labiche, Y.: A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 484-498. Springer, Heidelberg (2009)
9. Ali, S., Hemmati, H., Holt, N.E., Arisholm, E., Briand, L.: Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies, Simula Research Laboratory, Technical Report (2010-01) (2010)
10. Smartesting, http://www.smartesting.com
11. Yue, T., Briand, L.C., Labiche, Y.: A systematic review of transformation approaches between user requirements and analysis models. Accepted for publication in Requirements Engineering (Online first) (2011)
12. Insfrán, E., Pastor, O., Wieringa, R.: Requirements Engineering-Based Conceptual Modelling. Requirements Engineering 7, 61-72 (2002)
13. Some, S.S.: An approach for the synthesis of state transition graphs from use cases, vol. 1, pp. 456-462. CSREA Press, Las Vegas (2003)
14. Yue, T., Briand, L., Labiche, Y.: Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Simula Research Laboratory, Technical Report (2010-12) (2010)
15. Bittner, K., Spence, I.: Use Case Modeling. Addison-Wesley, Boston (2002)
16. OMG: UML 2.2 Superstructure Specification (formal/2009-02-04)
17. Brown, E.K., Miller, J.E.: Syntax: a linguistic introduction to sentence structure. Routledge, London (1992)
18. Kermeta: Kermeta metaprogramming environment
19. OMG: OCL 2.0 Specification
20. Eclipse Foundation: Eclipse Modeling Framework
21. The Stanford Natural Language Processing Group: The Stanford Parser version 1.6
22. Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)
23. Princeton University, WordNet: A lexical database for English, http://wordnet.princeton.edu/