1.概述

基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，符号值可以是基本的符号变量值，也可以是符号变量值的表达式。

符号测试执行的是代数运算，可以作为普通测试的一个扩充。

符号测试可以看作是程序测试和程序验证的一个折衷办法。

2.测试理想情况

程序中仅有有限的几条执行路径，如果都完成了符号测试，可有把握的确认程序的正确性了。

3.缺点

分支问题；二义性问题；大程序问题