Title :
DISSECT—A Symbolic Evaluation and Program Testing System
Author :
Howden, William E.
Author_Institution :
Department of Mathematics, University of Victoria
Abstract :
The basic features of the DISSECT symbolic testing tool are described. Usage procedures are outlined and the special advantages of the tool are summarized. Cost estimates for using the tool are provided and the results of experiments to determine its effectiveness are included. The background and history of the development of the tool are outlined. The availability of the tool is described and a listing of reference materials is included.
Keywords :
Availability; costs; effectiveness; program testing; software tool; symbolic evaluation; usage; Arithmetic; Command languages; Costs; History; Input variables; Mathematics; Programming profession; Software testing; Software tools; System testing; Availability; costs; effectiveness; program testing; software tool; symbolic evaluation; usage;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231468
