• Chu Thi Minh Hue Hung Yen University of Technology and Education
  • Trinh Thi Nhi Hung Yen University of Technology and Education
  • Nguyen Tuan Dat Hung Yen High School for the Gifted
Keywords: UCML, Formal semantic automatic test case generation, use case specification


UCML (Use Case Modeling Language) is the use case specification language proposed in our previous research. This language allows modeling use case in a model. Then, we can use this model as input to automatically generate functional test cases. In the previous research, we have proposed abstract syntax and graphics syntax for the language and proposed algorithms to generate automated test cases from the model in UCML. In this paper, we provide a syntax in the BNF standard and a formal semantic description for the UCML language.


A. Cockburn, Writing Effective Use Cases, Addison-Wesley, 2001.

I. Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Redwood: Addison Wesley Longman Publishing Co, 2004.

V. Y.Nguyen, T. T.Quan, N. D.Lai and T. D.Le, “A framework for automatic construction of test scenarios from use-cases,” in Ho Chi Minh City Software Testing Conference January 2015, Ho Chi Minh, 2015.

C. Nebut, F. Fleurey, Y. Traon and J. Jezequel, “Automatic test generation: A use case driven approach”. IEEE Transactions on Software Engineering, 2006, vol. 32, pp. 140-155.

M. S. a. T.Straszak, “Automating acceptance testing with tool support,” in Computer Science and Information Systems (FedCSIS), 2014 Federated Conference on, 2014.

W. Grieskamp, M. Lepper, W. Schulte and N. Tillmann, “Testable use cases in the abstract state machine language,” in Proceedings of the Second Asia-Pacific Conference on Quality Software, Hong Kong, 2001.

C. Wang, F.Pastore, A. Goknil, L. Briand and Z. Iqbal, “Automatic generation of system test cases from use case specifications,” in In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, New York, 2015.

M. Chen, P. Mishra and D. Kalita, “Coverage-driven automatic test generation for uml activity diagrams,” in Proceedings of the 18th ACM Great Lakes Symposium on VLSI, GLSVLSI ‘08, New York, USA, 2008.

P. Boghdady, N. Badr, M. Hashem and M. F.Tolba, “A proposed test case generation technique based on activity diagrams”. International Journal of Engineering & Technology IJET-IJENS, vol. 11, 2011.

N. N. Patil and P. Patel, “Testcases formation using uml activity diagram,” in Communication Systems and Network Technologies (CSNT), 2013 International Conference on, 2013.

R. K. Swain, V. Panthi and P. Behera, “Generation of test cases using activity diagram”. International Journal of Computer Science and Informatics, 2013, vol. 3.

S. Tiwari and A. Gupta, “An approach of generating test requirements for agile software development,” in Proceedings of the 8th India Software Engineering Conference, ISEC ‘15, New York, 2015.

P. Ammann, Introduction to Software Testing, Cambridge University Press, 2008.

M.-H. Chu, T. T. Nhi, D. T. Trang, N. T. Huyen and T. D. T. Ha, “Automatic Test-Case Generation for System Testing”. UTEHY Journal of Science and Technology, ISSN 2354-0575, 2020, vol. 27, pp. 61-67.

R. C. Gronback, Eclipse Modeling Project A Domain-Specific Language, Addison-Wesley, 2009.

V. Panthi and D. P. Mohapatra, “Automatic test case generation using sequence diagram,” in International Journal of Applied Information Systems, New York, 2012.

How to Cite
Chu Thi Minh Hue, Trinh Thi Nhi, & Nguyen Tuan Dat. (2022). FORMAL SEMANTIC FOR UCML. UTEHY Journal of Science and Technology, 33, 27-33. Retrieved from