1.概述
基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，符号值可以是基本的符号变量值，也可以是符号变量值的表达式。
符号测试执行的是代数运算，可以作为普通测试的一个扩充。
符号测试可以看作是程序测试和程序验证的一个折衷办法。
2.测试理想情况
程序中仅有有限的几条执行路径，如果都完成了符号测试，就可有把握的确认程序的正确性了。
3.缺点
分支问题；二义性问题；大程序问题
- 自动化软件测试工具推荐
 TestCenter是一款功能强大的测试管理工具，它实现了：测试需求管理、测试用例管理、测试业务组件管理、测试计划管理、测试执行、测试结果日志察看、测试结果分析、缺陷管理，并且支持测试需求和测试用例之间的关联关系，可以通过测试需求索引测试用例。 |
 TAR适用于VT100、VT220等标准的应用系统，支持命令行模式和窗口模式（使用Cursors编写的应用程序）。 支持针对终端应用的自动录制。支持连续录制和单独的窗口录制。支持的窗口组件：栏位、表格、对话框、窗口等。 脚本语言采用java标准脚本：bean shell。 |