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 Citations (Scopus)

Abstract

Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed 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
Externally publishedYes

Fingerprint

Algebra
Specifications
Software testing

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software
  • Electrical and Electronic Engineering

Cite this

Automated test case generation for programs specified by relational algebra queries. / Tsai, W. T.; Volovik, Dmitry; Keefe, Thomas F.

In: IEEE Transactions on Software Engineering, Vol. 16, No. 3, 03.1990, p. 316-324.

Research output: Contribution to journalArticle

Tsai, W. T. ; Volovik, Dmitry ; Keefe, Thomas F. / Automated test case generation for programs specified by relational algebra queries. In: IEEE Transactions on Software Engineering. 1990 ; Vol. 16, No. 3. pp. 316-324.
@article{e7d686fb064143eca1212b124eaa9769,
title = "Automated test case generation for programs specified by relational algebra queries",
abstract = "Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.",
author = "Tsai, {W. T.} and Dmitry Volovik and Keefe, {Thomas F.}",
year = "1990",
month = "3",
doi = "10.1109/32.48939",
language = "English (US)",
volume = "16",
pages = "316--324",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "3",

}

TY - JOUR

T1 - Automated test case generation for programs specified by relational algebra queries

AU - Tsai, W. T.

AU - Volovik, Dmitry

AU - Keefe, Thomas F.

PY - 1990/3

Y1 - 1990/3

N2 - Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.

AB - Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.

UR - http://www.scopus.com/inward/record.url?scp=0025404503&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025404503&partnerID=8YFLogxK

U2 - 10.1109/32.48939

DO - 10.1109/32.48939

M3 - Article

AN - SCOPUS:0025404503

VL - 16

SP - 316

EP - 324

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 3

ER -