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

Oyindamola Olajubu, Suraj Ajit, Mark Johnson, Scott J Turner, Scott Thomson, Mark Edwards

Research output: Contribution to Book/ReportConference Contribution

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.
Original languageEnglish
Title of host publicationProceedings of the 2015 Conference on Research in Adaptive and Convergent Systems
Place of PublicationNew York, NY, USA
PublisherACM Press
Pages505-508
Number of pages4
ISBN (Print)9781450337380
Publication statusPublished - 9 Oct 2015

Publication series

NameRACS 2015

Keywords

  • Domain specific languages
  • model-based testing

Fingerprint Dive into the research topics of 'Automated test case generation from domain specific models of high-level requirements'. Together they form a unique fingerprint.

  • Cite this

    Olajubu, O., Ajit, S., Johnson, M., Turner, S. J., Thomson, S., & Edwards, M. (2015). Automated test case generation from domain specific models of high-level requirements. In Proceedings of the 2015 Conference on Research in Adaptive and Convergent Systems (pp. 505-508). (RACS 2015). ACM Press. https://dl.acm.org/citation.cfm?id=2811555