Towards Automatic Transformation from UML Model to FSM Model for Web Applications
- 1 Shanghai University
- 2 Shanghai University
- 3 Shanghai University
Abstract
The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.
- S. R. Dalal, A. Jain, N. Karunanithi, and B. M. Horowitz, “Model-based testing in practice,” Proceedings of the 21st International Conference on Software Engineering, Los Angeles, California, United States, pp. 285–294, May 1999.
- H. Robinson, “Graph theory techniques in model-based testing,” International Conference on Testing Computer Software, 1999.
- W. E. McUmber and B. H. C. Cheng, “A general framework for formalizing UML with formal languages,” Proceeding of the 23rd international conference on Software engineering, Toronto, Canada, pp. 433–442, 2001.
- J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann, “Generating test data from state-based specifications,” The Journal of Software Testing, Verification, and Reliability, pp. 25–53, 2003.
- C. J. Mallery, “On the feasibility of using FSM approaches to test large web applications,” May 2005.
- The precise group, http://www.cs.york.ac.uk/puml/.
- R. M. Borges and A. C. Mota, “Integrating UML and formal methods,” Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, pp. 97–112, July 2007.
- D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavioral subset of UML Statechart diagrams using the SPIN model-checker,” Formal Aspects of Computing, pp. 637–664, 1999.
- I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Computer Science, 2000.
- M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed automata,” Computer Applications, pp. 4–6, August 2003.
- E. Mikk, Y. Lakhnech, and M. Siegel, “Hierarchical automata as model for statecharts,” Proceedings of the 3rd Asian Computing Science Conference on Advances in Computing Science, pp. 181–196, 1997.
- G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” China Machine Press, Beijing, 2006.
- R. Hower, “Web site test tools and site management tools,” Software QA and Testing Resource Center, 2002.
- Belinfante, L. Frantzen, and C. Schallhart, “Tools for Test Case Generation,” Model-based Testing of Reactive Systems, Springer LNCS 3472, Springer-Verlag, pp. 391–438, 2005.
- M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing,” Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), April 2006.