The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1977 vol.3)
pp: 266-278
W.E. Howden , Department of Applied Physics and Information Science, University of California
ABSTRACT
Symbolic testing and a symbolic evaluation system called DISSECT are described. The principle features of DISSECT are outlined. The results of two classes of experiments in the use of symbolic evaluadon are summarized. Several classes of program errors are defined and the reliability of symbolic testing in finding bugs is related to the classes of errors. The relationship of symbolic evaluation systems like DISSECT to classes of program errors and to other kinds of program testing and program analysis tools is also discussed. Desirable improvements in DISSECT, whose importance was revealed by the experiments, are mentioned.
INDEX TERMS
test data generation, Automated aids, data flow analysis, program correctness, program specifications, program testing, software errors, software reliability, symbolic evaluation
CITATION
W.E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System", IEEE Transactions on Software Engineering, vol.3, no. 4, pp. 266-278, July 1977, doi:10.1109/TSE.1977.231144
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool