Test case generation for specification-based software testing

Authors:
Peng Lu
Affiliations:
IBM SWS Toronto Laboratory, Don Mills Road, North York, Ontario, Canada M3C 1V7
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 8
Cited 0

Analysis and Design in MSG.84: Formalizing Functional Specifications

IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Functional program testing and analysis

Functional program testing and analysis
The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Automatic generation of test scripts from formal test specifications

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Evaluation of a predicate-based software testing strategy

IBM Systems Journal
Art of Software Testing

Art of Software Testing
Softwear Reliability

Softwear Reliability
Test-Case Generation from Prolog-Based Specifications

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a framework for the design of a test tool that could generate test cases automatically, based on given functional specifications. The key problems that need to be addressed are how to transform the specifications into a user-friendly, machine-processable form, and how to find a reasonable small set of test data that satisfy the functional requirements. A Test Specification Graph (TSG) and a Test Script Language (TSL) are presented. A tool called CAT has been designed and partially implemented. The tool will compile the input data and convert them to a set of logic expressions. A Boolean reduction algorithm is used to reduce the expressions to a minimal form that corresponds to a set of feasible test data (satisfy all requirements). CAT will take a user-defined test case template and the set of test data generated to produce the executable test cases.