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
fDate :
3/1/1990 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
