NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
Gustavo CarvalhoFlávia A. BarrosAna CarvalhoAna CavalcantiAlexandre MotaAugusto SampaioPublished in: SEFM (2015)
Keyphrases
- test cases
- natural language
- unit testing
- test data
- software testing
- test generation
- test sequences
- test suite
- test data generation
- test case generation
- regression testing
- black box
- number of test cases
- set of test cases
- testing process
- integration testing
- uml models
- sequence diagrams
- test suite reduction
- model based testing
- test case selection
- test set
- object oriented
- code coverage
- domain specific languages
- software application
- constraint satisfaction problems
- feature selection
- machine learning
- database
- quality assurance
- constraint programming
- execution paths
- data sets