Automated test case generation for programs specified by relational algebra queries

1 March 1990

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. 16 (3) , 316-324
https://doi.org/10.1109/32.48939

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

This publication has 11 references indexed in Scilit:

Specification directed module testing
IEEE Transactions on Software Engineering, 1986
Requirements-based testing of real-time systems: Modeling for testability
Computer, 1985
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering, 1985
A survey of Application Generators
IEEE Software, 1985
Verifying and Validating Software Requirements and Design Specifications
IEEE Software, 1984
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering, 1982
A Close Look at Domain Testing
IEEE Transactions on Software Engineering, 1982
Theories of Program Testing and the Application of Revealing Subdomains
IEEE Transactions on Software Engineering, 1980
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering, 1980
A Domain Strategy for Computer Program Testing.
Published by Defense Technical Information Center (DTIC) ,1978