This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a transformation from use cases that are represented by a USL. The USLTG transformation includes three main steps in generating (1) scenarios, (2) test data, and (3) a TCSL model. Within our transformation, the OCL solver is employed in order to build system snapshots as the part of test cases and to identify other test data. We applied our method to two case studies and evaluated our method by comparing it with other recent works.

Keywords:

References

1. M. Utting and B. Legeard , Practical Model-Based Testing: A Tools Approach (Morgan Kaufmann, San Francisco, 2007). Google Scholar
2. R. P. Mg , Learning Selenium Testing Tools, 3rd edn. (Packt Publishing, Birmingham, Mumbai, 2015). Google Scholar
3. Mercury, QuickTest Professional User’s Guide 6.5 (Mercury Interactive Corporation, Sunnyvale, 2003). Google Scholar
4. C. Wang, F. Pastore, A. Goknil, L. Briand and Z. Iqbal , Automatic generation of system test cases from use case specifications, in Proc. Int. Symp. Conf. Software Testing and Analysis, 2015, pp. 385–396. Crossref, Google Scholar
5. E. Sarmiento, J. C. S. do Prado Leite, E. Almentero and G. S. Alzamora , Test scenario generation from natural language requirements descriptions based on petri-nets, Electr. Notes Theor. Comput. Sci. 329 (2016) 123–148. Crossref, Google Scholar
6. J. J. Gutiérrez, M. J. Escalona, M. Mejías and J. Torres , An approach to generate test cases from use cases, in Proc. 6th Int. Conf. Web Engineering, 2006, pp. 113–114. Crossref, Google Scholar
7. S. Tiwari and A. Gupta , An approach of generating test requirements for agile software development, in Proc. 8th India Conf. Software Engineering, 2015, pp. 186–195. Crossref, Google Scholar
8. C. Nebut, F. Fleurey, Y. Le Traon and J.-M. Jezequel , Automatic test generation: A use case driven approach, IEEE Trans. Softw. Eng. 32(3) (2006) 140–155. Crossref, Web of Science, Google Scholar
9. J. Gutiérrez, G. Aragón, M. Mejías, F. J. Domínguez Mayo and C. M. Ruiz Cutilla , Automatic Test Case Generation from Functional Requirements in NDT, in Current Trends in Web Engineering Lecture Notes in Computer Science, eds. M. Grossniklaus and M. Wimmer (Springer, Berlin, 2012), pp. 176–185. Crossref, Google Scholar
10. T. Straszak and M. Śmialek , Automating acceptance testing with tool support, in Proc. Federated Conf. Computer Science and Information Systems, 2014, pp. 1569–1574. Crossref, Google Scholar
11. C. T. M. Hue, D. D. Hanh, N. N. Binh and L. M. Duc , Usl: A domain-specific language for precise specification of use cases and its transformations, Informatica 42(3) (2018) 325–343. Crossref, Web of Science, Google Scholar
12. C. T. M. Hue, D. D. Hanh and N. N. Binh , A transformation-based method for test case automatic generation from use cases, in Proc. 10th Int. Conf. Knowledge and Systems Engineering, 2018, pp. 252–257. Crossref, Google Scholar
13. I. Jacobson , Object-Oriented Software Engineering: A Use Case Driven Approach (Addison-Wesley Longman, Redwood City, 2004). Google Scholar
14. OMG, OMG unified modeling language Version 2.5, http://www.omg.org/spec/UML/2.5 (May, 2005). Google Scholar
15. I.O. for Standardization, ISO/IEC/IEEE International Standard — Systems and software engineering — Vocabulary, in ISO/IEC/IEEE 24765:2010(E), 2010, pp. 1–418. Google Scholar
16. J. Heumann, Generating test cases from use cases, Techical report, Rational Software (2001). Google Scholar
17. H. Zhu, P. A. V. Hall and J. H. R. May , Software unit test coverage and adequacy, ACM Comput. Surv. 29 (1997) 366–427. Crossref, Web of Science, Google Scholar
18. D. Kundu and D. Samanta , A novel approach to generate test cases from uml activity diagrams, J. Object Technol. 8 (2009) 65–83. Crossref, Google Scholar
19. M. Smialek and W. Nowakowski , From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice (Springer, Switzerland, 2015). Crossref, Google Scholar
20. M. Gogolla and F. Hilken , Model validation and verification options in a contemporary UML and OCL analysis tool, in Proc. Modellierung, 2016, pp. 205–220. Google Scholar
21. Obeo, Acceleo/User Guide — Eclipsepedia https://wiki.eclipse.org/Acceleo/User_Guide. Google Scholar
22. P. Boghdady, N. Badr, M. Hashem and M. Tolba , A proposed test case generation technique based on activity diagrams, Int. J. Eng. Technol. 11 (01 2011) 37–57. Google Scholar