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

Olajubu, O., Ajit, S. and Turner, S. J. (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. (Accepted)

The files below are currently restricted to repository staff only.

They may be awaiting processing or under a publisher's embargo.

Items under embargo will be available for download from the date noted.

Untitled (201kB)

Item Type:	Book Section
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).
Additional Information:	Paper presented at 9th Computer Science & Electronic Engineering Conference (CEEC'17) held at the University of Essex, 27-29 September 2017.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science > QA76.75 Computer software
Creators:	Olajubu, Oyindamola, Ajit, Suraj and Turner, Scott J
Publisher:	IEEE
Faculties, Divisions and Institutes:	University Faculties, Divisions and Research Centres - OLD > Research Group > Advanced Technologies Research Group Faculties > Faculty of Arts, Science & Technology > Computing
Date:	September 2017
Date Type:	Acceptance
Title of Book:	Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17)
Event Title:	2017 9th Computer Science and Electronic Engineering (CEEC) (CEEC'17)
Event Location:	Colchester, Essex, United Kingdom (Great Britain)
Event Type:	Conference
Language:	English
Status:	Accepted
Related URLs:	Conference
URI:	http://nectar.northampton.ac.uk/id/eprint/9781

Actions (login required)

Edit Item

Altmetric