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

Oyindamola Olajubu; Suraj Ajit; Scott J Turner

doi:10.1109/CEEC.2017.8101621

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/Report › Conference Contribution › peer-review

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 language	English
Title of host publication	2017 9th Computer Science and Electronic Engineering (CEEC)
Publisher	IEEE
Pages	178 -182
Number of pages	5
ISBN (Electronic)	978-1-5386-3007-5
ISBN (Print)	978-1-5386-3008-2
DOIs	https://doi.org/10.1109/CEEC.2017.8101621
Publication status	Published - 1 Oct 2017
Event	CEEC 2017 : 9th Computer Science & Electronic Engineering Conference - University of Essex, Colchester, United Kingdom Duration: 27 Sept 2017 → 29 Sept 2017

Conference

Conference	CEEC 2017 : 9th Computer Science & Electronic Engineering Conference
Country/Territory	United Kingdom
City	Colchester
Period	27/09/17 → 29/09/17

Keywords

Legged locomotion
DSL
Software
Testing
Industries
Productivity
Natural languages

Access to Document

10.1109/CEEC.2017.8101621

Dr Suraj Ajit
- suraj.ajitnorthampton.acuk
- University of Northampton, Technology - Associate Professor in Computer Science
- Centre for Advanced and Smart Technologies
Person: Academic

Cite this

@inproceedings{0ee10a7693bd4e81925c32192393478c,

title = "Automated test case generation from high-level logic requirements using model transformation techniques",

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).",

keywords = "Legged locomotion, DSL, Software, Testing, Industries, Productivity, Natural languages",

author = "Oyindamola Olajubu and Suraj Ajit and Turner, {Scott J}",

year = "2017",

month = oct,

day = "1",

doi = "10.1109/CEEC.2017.8101621",

language = "English",

isbn = "978-1-5386-3008-2",

pages = "178 --182",

booktitle = "2017 9th Computer Science and Electronic Engineering (CEEC)",

publisher = "IEEE",

note = "CEEC 2017 : 9th Computer Science & Electronic Engineering Conference ; Conference date: 27-09-2017 Through 29-09-2017",

}

Olajubu, O, Ajit, S & Turner, SJ 2017, Automated test case generation from high-level logic requirements using model transformation techniques. in 2017 9th Computer Science and Electronic Engineering (CEEC). IEEE, pp. 178 -182, CEEC 2017 : 9th Computer Science & Electronic Engineering Conference, Colchester, United Kingdom, 27/09/17. https://doi.org/10.1109/CEEC.2017.8101621

TY - GEN

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

AU - Olajubu, Oyindamola

AU - Ajit, Suraj

AU - Turner, Scott J

PY - 2017/10/1

Y1 - 2017/10/1

N2 - 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).

AB - 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).

KW - Legged locomotion

KW - DSL

KW - Software

KW - Testing

KW - Industries

KW - Productivity

KW - Natural languages

U2 - 10.1109/CEEC.2017.8101621

DO - 10.1109/CEEC.2017.8101621

M3 - Conference Contribution

SN - 978-1-5386-3008-2

SP - 178

EP - 182

BT - 2017 9th Computer Science and Electronic Engineering (CEEC)

PB - IEEE

T2 - CEEC 2017 : 9th Computer Science & Electronic Engineering Conference

Y2 - 27 September 2017 through 29 September 2017

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Profiles

Dr Suraj Ajit

Cite this