Automated test case generation from high-level logic requirements using model transformation techniques

Oyindamola Olajubu, Suraj Ajit, Scott J Turner

Research output: Contribution to Book/ReportChapter

Abstract

It is not uncommon for industries to use natural language to represent high-level software requirement specifications. It is also not uncommon for these requirement specifications to be translated into design and used further for implementation and generation of test cases in the software engineering lifecycle. These requirements are often ambiguous, incorrect, and incomplete. Finding them late in the development lifecycle proves very expensive and lowers the productivity. This paper reports on the experience of applying model-based technologies from academia to a real-world problem domain in the aviation industry to improve the productivity. The paper focuses on the application of a model-based technique to automatically generate test cases to satisfy Modified Condition/Decision Coverage (MC/DC) from high-level logic requirements expressed in a Domain Specific Language (DSL).
Original languageEnglish
Title of host publicationProceedings of 9th Computer Science and Electronic Engineering (CEEC'17)
PublisherIEEE
Publication statusAccepted/In press - 1 Sep 2017

Fingerprint Dive into the research topics of 'Automated test case generation from high-level logic requirements using model transformation techniques'. Together they form a unique fingerprint.

  • Cite this

    Olajubu, O., Ajit, S., & Turner, S. J. (Accepted/In press). Automated test case generation from high-level logic requirements using model transformation techniques. In Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17) IEEE.