Northampton Electronic Collection of Theses and Research

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)

[A][B][+][-]
9781:20246
[thumbnail of 1570386713.pdf]
1570386713.pdf - Accepted Version
Restricted to Repository staff only
Information
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, O., Ajit, S. and Turner, S. 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:
Edit Item