Towards Automatic Transformation from UML Model to FSM Model for Web Applications
Xi Wang, Huaikou Miao, Liang Guo
Shanghai University.
DOI: 10.4236/jsea.2008.11010   PDF    HTML     5,979 Downloads   11,137 Views   Citations

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.

Share and Cite:

X. Wang, H. Miao and L. Guo, "Towards Automatic Transformation from UML Model to FSM Model for Web Applications," Journal of Software Engineering and Applications, Vol. 1 No. 1, 2008, pp. 68-75. doi: 10.4236/jsea.2008.11010.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] 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.
[2] H. Robinson, “Graph theory techniques in model-based testing,” International Conference on Testing Computer Software, 1999.
[3] 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.
[4] 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.
[5] C. J. Mallery, “On the feasibility of using FSM approaches to test large web applications,” May 2005.
[6] The precise group, http://www.cs.york.ac.uk/puml/.
[7] 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.
[8] 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.
[9] I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Computer Science, 2000.
[10] M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed automata,” Computer Applications, pp. 4–6, August 2003.
[11] 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.
[12] G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” China Machine Press, Beijing, 2006.
[13] R. Hower, “Web site test tools and site management tools,” Software QA and Testing Resource Center, 2002.
[14] 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.
[15] 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.
[16] I. K. El-Far and J. A. Whittaker, “Model-based software testing,” Encyclopedia of Software Engineering, Wiley-InterScience, Vol. 1, pp. 825–837, 2002.
[17] M. Blackburn, R. Busser, and A. Nauman, “Why model-based test automation is different and what you should know to get started,” in International Conference on Practical Software Quality and Testing, 2004.
[18] B. Legeard, F. Peureux, and M. Utting, “Controlling test case explosion in test generation from B formal models,” The Journal of Software Testing, Verification and Reliability, 14(2): pp. 81–103, 2004.
[19] A. Pretschner, H. Lotzbeyer, and J. Philipps, “Model based testing in evolutionary software development,” IEEE International Workshop on Rapid System Prototyping 2001, pp. 155–161, 2001.
[20] T. Isakowitz, E. A. Stohr, and P. Balasubramanian, “RMM: A methodology for structured hypermedia design,” Communication of the ACM, Vol. 38, No. 8, August 1995.
[21] F. Coda, C. Ghezzi, G. Vigna, and F. Garzotto, “Towards a software engineering approach to web site development,” Proceedings of 9th International Workshop on Software Specification and Design, Ise-Shima, Japan, April 16–18, 1998.
[22] H. Gellersen and M. Gaedke, “Object-oriented web application development,” IEEE Internet Computing, January–February 1999.
[23] J. Conallen, “Modeling web application architectures with UML,” Communications of the ACM, Vol. 42, No. 10, October 1999.
[24] D. C. Kung, C. H. Liu, and P. Hsia, “An object-oriented web test model for testing web applications,” First Asia-Pacific Conference on Quality Software, pp. 30–31, October 2000.
[25] F. Ricca and P. Tonella, “Analysis and testing of web applications,” Proceedings of the 23rd International Conference on Software Engineering, pp.12–19, May 2001.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.