An intensional approach to the specification of test cases for database applications.
David WillmorSuzanne M. EmburyPublished in: ICSE (2006)
Keyphrases
- database applications
- test cases
- object oriented
- test case generation
- database design
- software testing
- database
- database management systems
- databases
- database technology
- mutation testing
- visual basic
- test data generation
- database server
- regression testing
- test data
- data access
- database systems
- sql server
- black box
- unit testing
- test sequences
- test suite
- number of test cases
- oracle database
- test set
- programming language
- test case selection
- test suite reduction
- test generation
- testing process
- model based testing
- database programming
- formal specification
- relational databases
- object oriented systems
- database development
- high level
- data model
- set of test cases
- software engineering
- sequence diagrams
- integration testing
- tool suite
- case study