DocumentCode
782376
Title
Automated test case generation for programs specified by relational algebra queries
Author
Tsai, W.T. ; Volovik, Dmitry ; Keefe, Thomas F.
Author_Institution
Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
Volume
16
Issue
3
fYear
1990
fDate
3/1/1990 12:00:00 AM
Firstpage
316
Lastpage
324
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
Keywords
automatic programming; formal specification; program testing; relational databases; arbitrary specifications; automated test case generation method; black-box software testing; relational algebra expressions; relational algebra queries; Algebra; Automatic generation control; Automatic testing; Computer aided software engineering; Computer science; Information retrieval; Process design; Programming; Software testing; System testing;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.48939
Filename
48939
Link To Document