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).
|Title of host publication||Proceedings of 9th Computer Science and Electronic Engineering (CEEC'17)|
|Publication status||Accepted/In press - 1 Sep 2017|
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.