Issue No. 03 - March (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.48939
<p>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.</p>
black-box software testing; relational algebra queries; arbitrary specifications; relational algebra expressions; automated test case generation method; automatic programming; formal specification; program testing; relational databases.
T. Keefe, D. Volovik and W. Tsai, "Automated Test Case Generation for Programs Specified by Relational Algebra Queries," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 316-324, 1990.