Automated Test Case Generation for Programs Specified by Relational Algebra Queries

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

doi:10.1109/32.48939

Automated Test Case Generation for Programs Specified by Relational Algebra Queries

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

Research output: Contribution to journal › Article › peer-review

46 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 language	English (US)
Pages (from-to)	316-324
Number of pages	9
Journal	IEEE Transactions on Software Engineering
Volume	16
Issue number	3
DOIs	https://doi.org/10.1109/32.48939
State	Published - Mar 1990
Externally published	Yes

Keywords

Automated test case generation
domain testing
relational algebra

ASJC Scopus subject areas

Software

Access to Document

10.1109/32.48939

Cite this

@article{e7d686fb064143eca1212b124eaa9769,

title = "Automated Test Case Generation for Programs Specified by Relational Algebra Queries",

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.",

keywords = "Automated test case generation, domain testing, relational algebra",

author = "Tsai, {W. T.} and Dmitry Volovik and Keefe, {Thomas F.}",

year = "1990",

month = mar,

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 - 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.

AB - 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.

KW - Automated test case generation

KW - domain testing

KW - relational algebra

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

SN - 0098-5589

VL - 16

SP - 316

EP - 324

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 3

ER -

Automated Test Case Generation for Programs Specified by Relational Algebra Queries

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this