Automated Generation of Test Cases from Logical Specification of Software Requirements.
Richa SharmaK. K. BiswasPublished in: ENASE (2014)
Keyphrases
- test cases
- software requirements
- requirements specification
- test case generation
- systems development
- software development
- test data
- software systems
- software testing
- software architecture
- test sequences
- functional requirements
- requirements engineering
- test generation
- test data generation
- development process
- black box
- test suite
- regression testing
- number of test cases
- test set
- knowledge based systems
- object oriented
- model based testing
- software engineering
- set of test cases
- unit testing
- specification language
- test suite reduction
- test case selection
- training data
- formal specification
- integration testing
- uml models
- situation calculus
- metamodel
- life cycle
- high level
- information systems