symbolic evaluation－－符号评价
参考符号执行（symbolic execution）

symbolic execution－－符号执行
通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量

名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。

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

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

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

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

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

System Testing－－系统测试
从一个系统的整体而不是个体上来测试一个系统，并且该测试关注的是规格，而不是系统内部的逻辑。

technical requirements testing－－技术需求测试
参考非功能需求测试（non-functional requirements testing）

test automation－－测试自动化
使用工具来控制测试的执行、结果的比较、测试预置条件的设置、和其它测试控制和报告功能。

test case－－测试用例
用于特定目标而开发的一组输入、预置条件和预期结果。

test case design technique－－测试用例设计技术
选择和导出测试用例的技术。

test case suite－－测试用例套
对被测软件的一个或多个测试用例的集合。

test comparator－－测试比较器
一个测试工具用于比较软件实际测试产生的结果与测试用例预期的结果。

test completion criterion－－测试完成标准
一个标准用于确定被计划的测试何时完成。

test coverage－－测试覆盖
参考覆盖率（Coverage）

test driver－－测试驱动
一个程序或测试工具用于根据测试套执行软件。

test environment－－测试环境
测试运行其上的软件和硬件环境的描述，以及任何其它与被测软件交互的软件，包括驱动和桩。

test execution－－测试执行
一个测试用例被被测软件执行，并得到一个结果。

test execution technique－－测试执行技术
执行测试用例的技术，包括手工、自动化等。

test generator－－测试生成器
根据特定的测试用例产生测试用例的工具。

test harness－－测试用具
包含测试驱动和测试比较器的测试工具。

test log－－测试日志
一个关于测试执行所有相关细节的时间记录。

test measurement technique－－测试度量技术
度量测试覆盖率的技术。

Test Plan－－测试计划
一个文档，描述了要进行的测试活动的范围、方法、资源和进度。它确定测试项、被测特性、测试任务、谁执行

任务，并且任何风险都要冲突计划。

test procedure－－测试规程
一个文档，提供详细的测试用例执行指令。

test records－－测试记录
对每个测试，明确的记录被测组件的标识、版本，测试规格，和实际结果

test report－－测试报告
一个描述系统或组件执行的测试和结果的文档。

Test Script－－测试脚本
一般指的是一个特定测试的一系列指令，这些指令可以被自动化测试工具执行。

Test Specification－－测试规格
一个文档，用于指定一个软件特性、特性组合或所有特性的测试方法、输入、预期结果和执行条件。

test strategy－－测试策略
一个简单的高层文档，用于描述测试的大致方法，目标和方向。
test suite－－测试套
测试用例和/或测试脚本的一个集合，与一个应用的特定功能或特性相关。

test target－－测试目标
一组测试完成标准。

testability－－可测试性
一个系统或组件有利于测试标准建立和确定这些标准是否被满足的测试执行的程度。

Testing－－测试
IEEE给出的定义是：1）一个执行软件的过程，以验证其满足指定的需求并检测错误。2）一个软件项的分析过程

以检测已有条件之间的不同，并评价软件项的特性。

thread testing－－线程测试
自顶向下测试的一个变化版本，其中，递增的组件集成遵循需求子集的实现。

time sharing－－时间共享
一种操作方式，允许两个或多个用户在相同的计算机系统上同时执行计算机程序。其实现可能通过时间片轮转、

优先级中断等。

top-down design－－由顶向下设计
一种设计策略，首先设计高层的抽象和处理，然后逐步向更低级别进行设计。

top-down testing－－自顶向下测试
集成测试的一种策略，首先测试顶层的组件，其它组件使用桩，然后逐步加入较低层的组件进行测试，直到所

有组件被集成到系统中。

traceability－－可跟踪性
开发过程的两个或多个产品之间关系可以被建立起来的程度，尤其是产品彼此之间有一个前后处理关系。

traceability analysis－－跟踪性分析
（1）跟踪概念文档中的软件需求到系统需求；（2）跟踪软件设计描述到软件需求规格，以及软件需求规格到软

件设计描述；（3）跟踪源代码对应到设计规格，以及设计规格对应到源代码。分析确定它们之间正确性、一致性

、完整性、精确性的关系。

traceability matrix－－跟踪矩阵
一个用于记录两个或多个产品之间关系的矩阵。例如，需求跟踪矩阵是跟踪从需求到设计再到编码的实现。

transaction－－事务/处理
（1）一个命令、消息或输入记录，它明确或隐含的调用了一个处理活动，例如更新一个文件。（2）用户和系统

之间的一次交互。（3）在一个数据库管理系统中，完成一个特定目的的处理单元，如恢复、更新、修改或删除一

个或多个数据元素。

transform analysis－－事务分析
系统的结构是根据分析系统需要处理的事务获得的一种分析技术。
trojan horse－－特洛伊木马
一种攻击计算机系统的方法，典型的方法是提供一个包含具有攻击性隐含代码的有用程序给用户，在用户执行该

程序的时候，其隐含的代码对系统进行非法访问，并可能产生破坏。

truth table－－真值表
用于逻辑操作的一个操作表格。

Unit Testing－－单元测试
测试单个的软件组件，属于白盒测试范畴，其测试基础是软件内部的逻辑。

Usability Testing－－可用性测试
测试用户使用和学习产品的容易程度。

validation－－确认
根据用户需要确认软件开发的产品的正确性。

verification－－验证
评价一个组件或系统以确认给定开发阶段的产品是否满足该阶段开始时设定的标准。

version－－版本
一个软件项或软件元素的一个初始发布或一个完整的再发布。

volume testing－－容量测试
使用大容量数据测试系统的一种策略。

Walkthrough－－走读
一个针对需求、设计或代码的非正式的同行评审，一般由作者发起，由作者的同行参与进行的评审过程。

waterfall model－－瀑布模型
软件开发过程模型的一种，包括概念阶段、需求阶段、设计阶段、实现阶段、测试阶段、安装和检查阶段、操作

和维护阶段，这些阶段按次序进行，可能有部分重叠，但很少会迭代。

White Box Testing－－白盒测试
根据软件内部的工作原理分析来进行测试。