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

University of Minnesota Twin Cities

科研成果: 期刊稿件 › 文章 › 同行评审

46 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	316-324
页数	9
期刊	IEEE Transactions on Software Engineering
卷	16
期	3
DOI	https://doi.org/10.1109/32.48939
出版状态	已出版 - 3月 1990
已对外发布	是

访问文件

10.1109/32.48939

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{f2c164ea0bad44a48d46931056b490cd,

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 = "英语",

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 - https://www.scopus.com/pages/publications/0025404503

U2 - 10.1109/32.48939

DO - 10.1109/32.48939

M3 - 文章

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

摘要

访问文件

其它文件与链接

指纹

引用此