symbolic evaluation－－符号评价

参考符号执行（symbolic execution）

symbolic execution－－符号执行

通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。

symbolic trace－－符号轨迹

一个计算机程序通过符号执行是经过的语句分支结果的一个记录。

syntax testing－－语法分析

根据输入语法来验证一个系统或组件的测试用例设计技术。

system analysis－－系统分析

对一个计划的或现实的系统进行的一个系统性调查以确定系统的功能以及系统与其它系统之间的交互。

system design－－系统设计

一个定义硬件和软件构架、组件、模块、接口和数据的过程以满足指定的规格。

system integration－－系统集成

一个系统组件的渐增的连接和测试，直到一个完整的系统。

  返回《软件测试术语及名词解释》

[1]  [2]  [3]  [4]  [5]  [6]  [7]  [8]  [9]  [10]  [11]