Automated Test Case Generation for Programs Specified by Relational Algebra Queries

W. T. Tsai, Dmitry Volovik, Thomas F. Keefe

Research output: Contribution to journalArticle

43 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)316-324
Number of pages9
JournalIEEE Transactions on Software Engineering
Volume16
Issue number3
DOIs
StatePublished - Mar 1990

Keywords

  • Automated test case generation
  • domain testing
  • relational algebra

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Automated Test Case Generation for Programs Specified by Relational Algebra Queries'. Together they form a unique fingerprint.

  • Cite this