NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications

  title={NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications},
  author={Daniel Leitao and Dante Torres and Fl{\'a}via de Almeida Barros},
This paper describes the NLForSpec, a Natural Language (NL) processing tool to translate software test cases descriptions in NL into a formal representation in CSP specification language. NLForSpec is part of a larger project which aims to automate test case generation, selection and evaluation for mobile phone applications. Our tool can be used in the process of update or partially generate requirements documents from test cases (one of the project’ s main goals). The NLForSpec architecture… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 14 references

Montylingua: An end-to-end natural language processor with common sense

  • H. Liu
  • 2004. Available at: hugo…
  • 2006
1 Excerpt

Pdc: The persistent data collections pattern

  • T. Massoni, V. Alves, S. Soares, P. Borba
  • First Latin American Conference on Pattern…
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…