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

    Fingerprint

Keywords

  • Domain specific languages
  • model-based testing

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