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/ReportConference Contribution

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 publication2017 9th Computer Science and Electronic Engineering (CEEC)
PublisherIEEE
Pages178 -182
Number of pages5
ISBN (Electronic)978-1-5386-3007-5
ISBN (Print)978-1-5386-3008-2
DOIs
Publication statusPublished - 1 Oct 2017
EventCEEC 2017 : 9th Computer Science & Electronic Engineering Conference - University of Essex, Colchester, United Kingdom
Duration: 27 Sep 201729 Sep 2017

Conference

ConferenceCEEC 2017 : 9th Computer Science & Electronic Engineering Conference
CountryUnited Kingdom
CityColchester
Period27/09/1729/09/17

Keywords

  • Legged locomotion
  • DSL
  • Software
  • Testing
  • Industries
  • Productivity
  • Natural languages

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