Automatic test case generation from relational algebra queries

W. T. Tsai, D. Volovik, T. F. Keefe, M. E. Fayad

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The authors: (1) develop mapping rules from the relational algebra to linear predicates defining relations in the (output) domain; (2) describe how these predicates can be interpreted in the (input) domain using fQ, a specified query relation; (3) describe a translation from these predicates to sets of systems of linear inequalities; and (4) discuss the use of a set of systems of linear inequalities to generate complete test cases, inputs, and expected outputs from the queries using the domain testing theory. The proposed techniques support software development based on specification testing, specification-directed testing, and rapid prototyping.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
EditorsGeorge J. Knafl
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages252-258
Number of pages7
ISBN (Print)0818608730
StatePublished - 1988
Externally publishedYes

Fingerprint

Algebra
Testing
Specifications
Rapid prototyping
Software engineering

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tsai, W. T., Volovik, D., Keefe, T. F., & Fayad, M. E. (1988). Automatic test case generation from relational algebra queries. In G. J. Knafl (Ed.), Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 252-258). Piscataway, NJ, United States: Publ by IEEE.

Automatic test case generation from relational algebra queries. / Tsai, W. T.; Volovik, D.; Keefe, T. F.; Fayad, M. E.

Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. ed. / George J. Knafl. Piscataway, NJ, United States : Publ by IEEE, 1988. p. 252-258.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tsai, WT, Volovik, D, Keefe, TF & Fayad, ME 1988, Automatic test case generation from relational algebra queries. in GJ Knafl (ed.), Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. Publ by IEEE, Piscataway, NJ, United States, pp. 252-258.
Tsai WT, Volovik D, Keefe TF, Fayad ME. Automatic test case generation from relational algebra queries. In Knafl GJ, editor, Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. Piscataway, NJ, United States: Publ by IEEE. 1988. p. 252-258
Tsai, W. T. ; Volovik, D. ; Keefe, T. F. ; Fayad, M. E. / Automatic test case generation from relational algebra queries. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference. editor / George J. Knafl. Piscataway, NJ, United States : Publ by IEEE, 1988. pp. 252-258
@inproceedings{a2cea656178444e8a13b03a5815754de,
title = "Automatic test case generation from relational algebra queries",
abstract = "The authors: (1) develop mapping rules from the relational algebra to linear predicates defining relations in the (output) domain; (2) describe how these predicates can be interpreted in the (input) domain using fQ, a specified query relation; (3) describe a translation from these predicates to sets of systems of linear inequalities; and (4) discuss the use of a set of systems of linear inequalities to generate complete test cases, inputs, and expected outputs from the queries using the domain testing theory. The proposed techniques support software development based on specification testing, specification-directed testing, and rapid prototyping.",
author = "Tsai, {W. T.} and D. Volovik and Keefe, {T. F.} and Fayad, {M. E.}",
year = "1988",
language = "English (US)",
isbn = "0818608730",
pages = "252--258",
editor = "Knafl, {George J.}",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Automatic test case generation from relational algebra queries

AU - Tsai, W. T.

AU - Volovik, D.

AU - Keefe, T. F.

AU - Fayad, M. E.

PY - 1988

Y1 - 1988

N2 - The authors: (1) develop mapping rules from the relational algebra to linear predicates defining relations in the (output) domain; (2) describe how these predicates can be interpreted in the (input) domain using fQ, a specified query relation; (3) describe a translation from these predicates to sets of systems of linear inequalities; and (4) discuss the use of a set of systems of linear inequalities to generate complete test cases, inputs, and expected outputs from the queries using the domain testing theory. The proposed techniques support software development based on specification testing, specification-directed testing, and rapid prototyping.

AB - The authors: (1) develop mapping rules from the relational algebra to linear predicates defining relations in the (output) domain; (2) describe how these predicates can be interpreted in the (input) domain using fQ, a specified query relation; (3) describe a translation from these predicates to sets of systems of linear inequalities; and (4) discuss the use of a set of systems of linear inequalities to generate complete test cases, inputs, and expected outputs from the queries using the domain testing theory. The proposed techniques support software development based on specification testing, specification-directed testing, and rapid prototyping.

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

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

M3 - Conference contribution

AN - SCOPUS:0024139142

SN - 0818608730

SP - 252

EP - 258

BT - Proceedings - IEEE Computer Society's International Computer Software & Applications Conference

A2 - Knafl, George J.

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -