Symbolic Testing and the DISSECT Symbolic Evaluation System
Symbolic Testing and the DISSECT Symbolic Evaluation System
复制标题
符号测试和 DISSECT 符号评估系统
DOI：
--
复制
发表时间：
1977
影响因子：
7.4
通讯作者：
W. Howden
中科院分区：
文献类型：
--
作者：
W. Howden
描述了符号测试和一个名为DISSECT的符号评估系统。概述了DISSECT的主要特点。总结了两类符号评价实验的结果。定义了几类程序错误，符号测试发现错误的可靠性与错误的类别有关。符号评估系统，如DISSECT类的程序错误和其他类型的程序测试和程序分析工具的关系也进行了讨论。理想的改进DISSECT，其重要性是由实验揭示，被提及。
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.