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 Contributionpeer-review


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
PublisherAssociation for Computing Machinery (ACM)
Number of pages4
ISBN (Print)9781450337380
Publication statusPublished - 9 Oct 2015

Publication series

NameRACS 2015


  • Domain specific languages
  • model-based testing


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