Name
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 life-cycle. 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). |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1109/CEEC.2017.8101621 | 2017 9th Computer Science and Electronic Engineering (CEEC) |
Keywords | DocType | ISBN |
high-level software requirement specifications,software engineering life-cycle,high-level logic requirements,Domain Specific Language,automated test case generation,model transformation techniques,natural language,productivity,model-based technique,decision coverage,modified condition | Conference | 978-1-5386-3008-2 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oyindamola Olajubu | 1 | 0 | 0.34 |
| Suraj Ajit | 2 | 0 | 0.34 |
| Mark Johnson | 3 | 0 | 0.68 |
| Scott Thomson | 4 | 0 | 0.34 |
| Mark Edwards | 5 | 21 | 6.42 |
| Scott J. Turner | 6 | 0 | 0.34 |