research-article

Automated test case generation from domain specific models of high-level requirements

Authors:

Oyindamola Olajubu,

Mark EdwardsAuthors Info & Claims

RACS '15: Proceedings of the 2015 Conference on research in adaptive and convergent systems

Pages 505 - 508

https://doi.org/10.1145/2811411.2811555

Published: 09 October 2015 Publication History

Abstract

Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development. This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study. The requirements are represented using a modeling notation and test cases are automatically generated using model to text transformation techniques.

References

[1]

A. Pretschner, W. Prenninger, S. Wagner, C. Kuhnel, B. Sostawa, R. ZoIch, and T. Stauner, "One evaluation of model-based testing and its automation," in Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005., 2005, no. 2, pp. 392--401.

Digital Library

[2]

A. Raja and D. Lakshmanan, "Domain Specific Languages," International Journal of Computer Applications, vol. 1, no. 21. pp. 105--111, 2010.

[3]

D. Kundu and D. Samanta, "A Novel Approach to Generate Test Cases from UML Activity Diagrams.," The Journal of Object Technology, vol. 8, no. 3. p. 65, 2009.

[4]

L. Wang, J. Yuan, X. Yu, J. Hu, X. Li, and G. Zheng, "Generating test cases from UML activity diagram based on gray-box method," in Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2004, no. 60233020, pp. 284--291.

Digital Library

[5]

C. Mingsong, Q. Xiaokang, and L. Xuandong, "Automatic test case generation for UML activity diagrams," in Proceedings of the 2006 international workshop on Automation of software test - AST '06, 2006, p. 2.

Digital Library

[6]

M. F. T. Boghdady, Pakinam N., Badr, Nagwa L., Hashem, Mohamed, and Tolba, "A Proposed Test Case Generation Technique Based on Activity Diagrams," Int. J. Eng. Technol., vol. 11, no. 3, 2011.

[7]

B. Hasling, H. Goetz, and K. Beetz, "Model Based Testing of System Requirements using UML Use Case Models," pp. 367--376, 2008.

Digital Library

[8]

C. Nebut, F. Fleurey, Y. Le Traon, and J.-M. Jezequel, "Automatic test generation: a use case driven approach," IEEE Trans. Softw. Eng., vol. 32, no. 3, pp. 140--155, 2006.

Digital Library

[9]

R. Swain, "Automatic Test case Generation From UML State Chart Diagram," vol. 42, no. 7, pp. 26--36, 2012.

[10]

E. G. Cartaxo, F. G. O. Neto, and P. D. L. Machado, "Test case generation by means of UML sequence diagrams and labeled transition systems," 2007 IEEE Int. Conf. Syst. Man Cybern., pp. 1292--1297, Oct. 2007.

[11]

M. Cristiá, P. Albertengo, and P. Monetti, "Fastest: a model-based testing tool for the Z notation," in Mazzanti, F., Trentani, G. (eds.) PTD-SEFM, Pisa, Italy, pp. 3--8 (2010).

[12]

S. Helke, T. Neustupny, and T. Santen, "Automating test case generation from Z specifications with Isabelle." in ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation, pp. 52--71, Springer-Verlang, 1997.

Digital Library

[13]

A. Ashraf and A. Nadeem, "Automating the Generation of Test Cases from Object-Z Specifications," 30th Annu. Int. Comput. Softw. Appl. Conf., pp. 101--104, 2005.

Digital Library

[14]

A. Bowers and J. Bell, "Automated testing with Selenium and Cucumber Write, batch, and run automated tests on your RIAs,", pp. 1--15, 2013,{online} Available at: http://www.ibm.com/developerworks/library/a-automating-ria/a-automating-ria-pdf.pdf {Accessed 15 Aug 2015}.

[15]

L. M. Rose, R. F. Paige, D. S. Kolovos, and F. A. C. Polack, "The epsilon generation language," in Model Driven Architecture--Foundations and Applications, 2008, pp. 1--16.

Digital Library

[16]

S. Rayadurgam and M. P. E. Heimdahl, "Coverage based test-case generation using model checkers," Proceedings. Eighth Annu. IEEE Int. Conf. Work. Eng. Comput. Based Syst. 2001, pp. 83--91, 2001.

[17]

K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, and L. K. Rierson, A Practical Tutorial on Modified Condition/Decision Coverage. National Aeronautics and Space Administration, Langley Research Center, 2001.

Cited By

Farooq MTahreem T(2022)Requirement-Based Automated Test Case Generation: Systematic Literature ReviewVFAST Transactions on Software Engineering10.21015/vtse.v10i2.94010:2(133-142)Online publication date: 28-Jun-2022
https://doi.org/10.21015/vtse.v10i2.940
Banerjee SDebnath NSarkar A(2021)An Ontology-Based Approach to Automated Test Case GenerationSN Computer Science10.1007/s42979-020-00420-82:1Online publication date: 12-Jan-2021
https://dl.acm.org/doi/10.1007/s42979-020-00420-8
Morales LMoreno-Leonardo SOlivero MJiménez-Ramírez AMejías M(2018)Applying Model-Driven Web Engineering to the Testing Phase of the ADAGIO ProjectCurrent Trends in Web Engineering10.1007/978-3-030-03056-8_2(14-21)Online publication date: 29-Nov-2018
https://doi.org/10.1007/978-3-030-03056-8_2

Index Terms

Automated test case generation from domain specific models of high-level requirements
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Development of an automated MBT toolchain from UML/SysML models

This paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to ...
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams
Advanced Information Systems Engineering
Abstract
The quality of the specifications used for test generation plays an important role in the quality of the generated tests. One approach to improve the quality of the UML specification is the use of executable models specified using the Foundational ...
Automated Test Case Generation for Web Applications from a Domain Specific Model
COMPSACW '11: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops

Model-based testing is a promising technique for test case design that is used in an increasing number of application domains. However, to fully gain efficiency advantages, intuitive domain-specific notations with comfortable tool support as well as a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

RACS '15: Proceedings of the 2015 Conference on research in adaptive and convergent systems

October 2015

540 pages

ISBN:9781450337380

DOI:10.1145/2811411

Conference Chairs:
Esmaeil S. Nadimi
University of Southern Denmark, Denmark
,
Tomas Cerny
Czech Technical University, Czech Republic
,
Program Chairs:
Sung-Ryul Kim
Konkuk University, Korea
,
Wei Wang
San Diego State University

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing
ACCT: Association of Convergent Computing Technology

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

RACS '15

Sponsor:

SIGAPP
ACCT

RACS '15: International Conference on Research in Adaptive and Convergent Systems

October 9 - 12, 2015

Prague, Czech Republic

Acceptance Rates

RACS '15 Paper Acceptance Rate 75 of 309 submissions, 24%;

Overall Acceptance Rate 393 of 1,581 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
216
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)2

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Farooq MTahreem T(2022)Requirement-Based Automated Test Case Generation: Systematic Literature ReviewVFAST Transactions on Software Engineering10.21015/vtse.v10i2.94010:2(133-142)Online publication date: 28-Jun-2022
https://doi.org/10.21015/vtse.v10i2.940
Banerjee SDebnath NSarkar A(2021)An Ontology-Based Approach to Automated Test Case GenerationSN Computer Science10.1007/s42979-020-00420-82:1Online publication date: 12-Jan-2021
https://dl.acm.org/doi/10.1007/s42979-020-00420-8
Morales LMoreno-Leonardo SOlivero MJiménez-Ramírez AMejías M(2018)Applying Model-Driven Web Engineering to the Testing Phase of the ADAGIO ProjectCurrent Trends in Web Engineering10.1007/978-3-030-03056-8_2(14-21)Online publication date: 29-Nov-2018
https://doi.org/10.1007/978-3-030-03056-8_2

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten