NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications.
Daniel LeitaoDante TorresFlávia de Almeida BarrosPublished in: SEKE (2007)
Keyphrases
- test cases
- natural language descriptions
- formal specification
- unit testing
- natural language
- test case selection
- formal language
- software testing
- reactive systems
- test case generation
- regression testing
- test data
- operational semantics
- test sequences
- test set
- test suite
- test generation
- test data generation
- black box
- number of test cases
- test suite reduction
- formal descriptions
- set of test cases
- requirements specification
- formal methods
- integration testing
- high level
- controlled natural language
- artificial intelligence
- testing process
- object oriented
- databases