We develop a method for automated test case generation for programs specified by relational algebra queries. Black-box testing requires test cases to be generated from specifications alone. However, it is impossible to completely automate the process for arbitrary specifications. We thus restrict specifications to be written entirely in terms of relational algebra expressions. We develop an automated test case generation method for such specifications.
- Automated test case generation
- domain testing
- relational algebra
ASJC Scopus subject areas