symbolic realization

基本解释

In the paper, we discuss the realization of the unit test recording, and apply the data flow analysis and symbolic analysis techniques to the process of unit test recording.
本文还详细阐述单元测试录制过程的实现，并把代码静态分析技术中的数据流分析和符号分析技术应用于单元测试录制过程中。
This paper systematically describes the basic idea and the realization process of the symbolic simulation approach, and compares it with the numerical simulation approach in some aspects.
文章系统阐述了符号模拟方法的基本思想、实现过程，并与数值模拟方法进行了比效。