Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases.
Vladimir TarasovHe TanMuhammad IsmailAnders AdlemoMats E. JohanssonPublished in: OWLED (2016)
Keyphrases
- test cases
- inference rules
- software requirements
- software testing
- regression testing
- test suite
- test data
- software development
- test case generation
- test data generation
- requirements specification
- test set
- number of test cases
- test case selection
- black box
- model based testing
- first order logic
- software systems
- testing process
- modal logic
- systems development
- test suite reduction
- software maintenance
- set of test cases
- semantic web
- software engineering
- database
- conditional probabilities
- development process
- unit testing
- software architecture
- knowledge representation