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 typesChapterResearch

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

Productivity
Specifications
Aviation
Software engineering
Industry

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.
Olajubu, Oyindamola ; Ajit, Suraj ; Turner, Scott J. / Automated test case generation from high-level logic requirements using model transformation techniques. Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17). IEEE, 2017.
@inbook{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).",
author = "Oyindamola Olajubu and Suraj Ajit and Turner, {Scott J}",
year = "2017",
month = "9",
day = "1",
language = "English",
booktitle = "Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17)",
publisher = "IEEE",

}

Olajubu, O, Ajit, S & Turner, SJ 2017, 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.

Automated test case generation from high-level logic requirements using model transformation techniques. / Olajubu, Oyindamola; Ajit, Suraj; Turner, Scott J.

Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17). IEEE, 2017.

Research output: Contribution to Book/Report typesChapterResearch

TY - CHAP

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/9/1

Y1 - 2017/9/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).

M3 - Chapter

BT - Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17)

PB - IEEE

ER -

Olajubu O, Ajit S, Turner SJ. 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. 2017