Name
Abstract | ||
|---|---|---|
Formal models are increasingly used as input for automated test generation strategies. As an example, Software Cost Reduction (SCR) has been designed to detect and correct errors during the requirements phase, also allowing test generation. However, SCR syntax is not trivial for those who are unfamiliar with it. We propose here a strategy to generate test cases from natural language requirements using SCR as an intermediate and hidden formalism. To avoid textual ambiguity, the requirements are written according to a Controlled Natural Language. Each syntactically valid requirement is mapped into a semantic representation from which an SCR specification is derived. We then use the T-VEC tool to generate tests from SCR. We evaluated our strategy based on requirements and manually written test vectors provided by our partner from the Aviation Industry. Our strategy generated 85% of the vectors in the original set, with 100% of precision. The generation time was 2s. Yet, we obtained a mutation score of 84%. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2480362.2480591 | SAC |
Keywords | Field | DocType |
test case generation,controlled natural language,scr syntax,software cost reduction,aviation industry,natural language requirement,generation time,test generation,scr specification,automated test generation strategy,requirements phase,test case,requirement,test,natural language,scr | Generation time,Controlled natural language,Programming language,Computer science,Algorithm,Natural language,Test case,Formalism (philosophy),Syntax,Ambiguity,Natural language requirements | Conference |
Citations | PageRank | References |
10 | 0.57 | 12 |
Authors | ||
7 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gustavo Carvalho | 1 | 48 | 6.13 |
| Diogo Falcão | 2 | 20 | 1.50 |
| Flávia A. Barros | 3 | 38 | 5.42 |
| Augusto Sampaio | 4 | 501 | 43.38 |
| Alexandre Cabral Mota | 5 | 199 | 18.27 |
| Leonardo Motta | 6 | 20 | 1.16 |
| Mark Blackburn | 7 | 45 | 6.57 |