symbolic trace

软件测试常用术语之九 - 泽众软件 ... symbolic execution－－ 符号执行 symbolic trace－－ 符号轨迹 syntax testing－－ 语法分 …

Assignment of Management... ... 符号表示法 symbolic representation 符号追踪 symbolic trace 符号单位 symbolic unit ...

我们称它为符号式模拟技术。利用符号式模拟技术产生符号式轨道(symbolic trace)后，再从符号式轨道中抽取出测试案例。