Browse > Article
http://dx.doi.org/10.3837/tiis.2021.07.010

UML diagram-driven test scenarios generation based on the temporal graph grammar  

Shi, Zhan (Institute of Computer Engineering, NanJing Institute of Technology)
Zeng, Xiaoqin (Institute of Intelligence Science and Technology, Hohai University)
Zhang, Tingting (PLA Army Engineering University)
Han, Lei (Institute of Computer Engineering, NanJing Institute of Technology)
Qian, Ying (Institute of Computer Engineering, NanJing Institute of Technology)
Publication Information
KSII Transactions on Internet and Information Systems (TIIS) / v.15, no.7, 2021 , pp. 2476-2495 More about this Journal
Abstract
Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.
Keywords
Graph grammar; Parsing algorithm; TEGG; UML;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Z. Shi, X. Zeng, Z. Yang, S. Huang, H. Li, B. Hu and Y. Yao, "A temporal graph grammar formalism," Journal of Visual Languages and Computing, vol. 47, pp.62-76, August 2018.   DOI
2 B. Selic, S. Cook, E. Seidewitz and D. Tolbert, "OMG Unified Modeling Language(Version 2.5)," Object Management Group, MA, USA, March 2015.
3 K. Zhang, D. Zhang and J. Cao, "Design, construction, and application of a generic visual language generation environment," IEEE Transactions on Software Engineering, vol. 27, no. 4, pp. 289-307, April 2001.   DOI
4 D. Kundu and D. Samanta, "A Novel Approach to Generate Test Cases from UML Activity Diagrams," Journal of Object Technology, vol. 8, no.3, pp.65-83, May 2009.   DOI
5 D. Budgen, A. J. Burn, O. P. Brereton, B. A. Kitchenham and R. Pretorius, "Empirical evidence about the UML: a systematic literature review," Software Practice & Experience, vol. 41, no. 4, pp. 363-392, April 2011.   DOI
6 A. K. Jena, S. K. Swain and D. P. Mohapatra, "A novel approach for test case generation from UML activity diagram," in Proc. of the International Conference on Issues and Challenges in Intelligent Computing Techniques (ICICT), Ghaziabad, India, pp. 621-629, February 2014.
7 G. Song and K. Zhang, "Visual XML schemas based on reserved graph grammars," in Proc. of the International Conference on Information Technology: Coding and Computing, vol.1, pp. 687-691, April 2004..
8 S. Rigo, G. Araujo, M. Bartholomeu and R. Azevedo, "UML as an Architecture Description Language," in Proc. of the 16th Symposium on Computer Architecture and High Performance Computing, Foz do Iguacu, Brazil, October 2004.
9 D. Zhang, K. Zhang and J. Cao, "A context-sensitive graph grammar formalism for the specification of visual languages," The Computer Journal, vol. 44, no. 3, pp.186-200, January 2001.   DOI
10 P. Gulia and R. S. Chillar, "A new approach to generate and optimize test cases for UML state diagram using genetic algorithm," ACM SIGSOFT Software Engineering Notes, vol. 37, no. 3, pp. 1-5, May 2012.
11 B.Bharathi and D.Sridharan, "UML as an Architecture Description Language," International Journal of Recent Trends in Engineering, vol. 1, no. 2, pp.230-232, May 2009.
12 G. Georg and S. Seidman, "The use of architecture description languages to describe a distributed measurement system," in Proc. of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Edinburgh, UK, April 2000.
13 R. Swain, V. Panthi, P. K. Behera, and D. P. Mohapatra, "Automatic test case generation from UML state chart diagram," International Journal of Computer Applications, vol. 42, no. 7, pp. 26-36, March 2012.   DOI
14 X. Cai, H. Zhao, S. Shang, Y. Zhou, W. Deng, H. Chen and W. Deng, "An improved quantuminspired cooperative co-evolution algorithm with muli-strategy and its application," Expert Systems with Applications, vol. 171, June 2021.
15 G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, Singapore: World Scientific Publishing Co., Inc. February 1997.
16 J. Rekers and A. Schurr, "Defining and parsing visual languages with layered graph grammars," Journal of Visual Languages & Computing, vol. 8, no. 1, pp. 27-55, February 1997.   DOI
17 S. K. Vishwakarma, P. Upadhyaya, B. Kumari and A. K. Mishra, "Smart Energy Efficient Home Automation System Using IoT," in Proc. of the 4th International Conference on Internet of Things: Smart Innovation and Usages (IoT-SIU), pp. 1-4, April 2019.
18 D.Garlan, R.Monroe and D.Wile, "Acme: an architecture description interchange language," in Proc. of CASCON , 1997.
19 Yan Li and Li Jiang, "The research on test case generation technology of UML sequence diagram," in Proc. of the 9th International Conference on Computer Science & Education (ICCSE), Vancouver, Canada, pp. 1067-1069, August 2014.
20 H.Storrle, "Semantics of control-flow in UML 2.0 activities," in Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Rome, Italy, 2004.
21 K. Pechtanun and S. Kansomkeat, "Generation test case from UML activity diagram based on AC grammar," in Proc. of the International Conference on Computer & Information Science (ICCIS), Kuala Lumpur, Malaysia, pp. 895-899, June 2012.
22 P. E. Patel and N. N. Patil, "Testcases Formation Using UML Activity Diagram," in Proc. of the International Conference on Communication Systems and Network Technologies, Gwalior, pp. 884-889, April 2013.
23 P. Mahali, S. Arabinda, A. A. Acharya and D. P. Mohapatra, "Test case generation for concurrent systems using UML activity diagram," in Proc. of IEEE Region 10 Conference (TENCON), Singapore, pp. 428-435, November 2016.
24 N. Maneerat and W. Vatanawood, "Translation UML Activity Diagram into Colored Petri Net with inscription," in Proc. of the 13th International Joint Conference on Computer Science and Software Engineering (JCSSE), Khon Kaen, Thailand, November 2016.
25 D.C. Luckham and J. Vera, "An event-based architecture defifinition language," IEEE Transactions on Software Engineering, vol.21, pp. 717-734, September 1995.   DOI
26 D. Park, H. Bang, C. S. Pyo and S. Kang, "Semantic open IoT service platform technology," in Proc. of IEEE World Forum on Internet of Things (WF-IoT), Seoul, Korea, pp. 85-88, March 2014.
27 T. Jin, X. Yang, H. Xia and H. Ding, "Reliability index and option pricing formulas of the first hitting time model based on the uncertain fractional-order differential equation with Caputo type," Fractals Complex Geometry, Patterns, and Scaling in Nature and Society, vol.29, no.1, January 2021.
28 T. Jin, H. Ding, H. Xia and J. Bao, "Reliability index and Asian barrier option pricing formulas of the uncertain fractional first-hitting time model with Caputo type," Chaos, Solitons & Fractals, vol.142, January 2021..
29 M. Shaw, R. DeLine, D.V. Klein, T.L. Ross, D.M. Young and G. Zelesnik, "Abstractions for software architecture and tools to support them," IEEE Transactions on Software Engineering, vol.21, no.4, pp. 314-335, April 1995.   DOI
30 R. Allen and D. Garlan, "A formal basis for architectural connection," ACM Transactions on Software Engineering and Methodology, vol.6, no.3, pp.213-249, July 1997.   DOI
31 X. Zeng, K. Zhang, J. Kong and G. Song, "RGG+: An enhancement to the reserved graph grammar formalism," in Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing(VL/HCC'05), Dallas, TX, USA, pp. 272-274, September 2005.
32 V. Chimisliu and F. Wotawa, "Improving test case generation from UML statecharts by using control, data and communication dependencies," in Proc. of the 13th International Conference on Quality Software, Najing, China, pp. 125-134, July 2013.
33 W. Deng, S. Shang, X. Cai, H. Zhao, Y. Song and J. Xu, "An improved differential evolution algorithm and its application in optimization problem," Soft Computing, vol. 25, pp. 5277-5298, January 2021.   DOI
34 C. Ermel, M. Rudolf and G. Taentzer, "The AGG Approach: Language and Environment," Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2, pp. 551-603, January 1999.
35 X. Zeng, X. Han and Y. Zou, "An edge-based context-sensitive graph grammar formalism," Journal of Software, vol. 19, no. 8, pp.1893-1901, 2008..   DOI
36 Z. Shi, X. Zeng, T. Zhang, S. Huang, Z. Qi, H. Li, B. Hu, Y. Yao and S. Zhong, "Bidirectional transformation between BPMN and BPEL with graph grammar," Computers & Electrical Engineering, vol. 51, pp. 304-319, April 2016.   DOI
37 M. A. Ali, K. Shaik and S. Kumar, "Test case generation using UML state diagram and OCL expression," International Journal of Computer Applications, vol. 95, no. 12, pp. 7-11, June 2014.   DOI
38 R. Eshuis, "Symbolic model checking of uml activity diagrams," ACM Transactions on Software Engineering and Methodology, vol. 15, no. 1, pp.1-38, January 2006.   DOI
39 O. Tariq, J. Sang, K. Gulzar and H. Xiang, "Automated analysis of UML activity diagram using CPNs," in Proc. of the 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, pp. 134-138, November 2017.
40 Z. A. Hamza and M. Hammad, "Generating Test Sequences from UML Use Case Diagram: A Case Study," in Proc. of the 2nd International Sustainability and Resilience Conference: Technology and Innovation in Building Designs, pp. 1-6, November 2020.
41 L. Baresi, A. C Morzenti, A. Motta and M. G Rossi, "A logic-based semantics for the verification of multi-diagram UML models," ACM SIGSOFT Software Engineering Notes, vol. 37, no.4, pp. 1-8, July 2012.
42 A.Heuer, V.Stricker, C.J. Budnik, S.Konrad, K.Lauenroth and K.Pohl, "Defining variability in activity diagrams and Petri nets," Science of Computer Programming, vol.78, no.12, pp. 2414-2432, December 2013.   DOI