safety－－（生命）安全性
不会引起人员伤亡、产生疾病、毁坏或损失设备和财产、或者破坏环境。 safety critical－－严格的安全性
一个条件、事件、操作、过程或项，它的认识、控制或执行对生命安全性的系统来说是非常关键的。
Sanity Testing－－理智测试
软件主要功能成分的简单测试以保证它是否能进行基本的测试。参考冒烟测试 SDP－－软件开发计划（software development plan） 用于一个软件产品开发的项目计划。 security testing－－安全性测试
验证系统是否符合安全性目标的一种测试。 security.－－（信息）安全性
参考计算机系统安全性（computer system security） serviceability testing－－可服务性测试 参考可维护性测试（maintainability testing） simple subpath－－简单子路径
控制流的一个子路径，其中没有不必要的部分被执行。 simulation－－模拟
使用另一个系统来表示一个物理的或抽象的系统的选定行为特性。 simulation－－模拟
使用一个可执行模型来表示一个对象的行为。 simulator－－模拟器
软件验证期间的一个设备、软件程序、或系统，当它给定一个控制的输入时，表现的与一个给定的系统类似。
第131贴【2004－11－1】：常见测试术语十三
SLA－－服务级别协议（service level agreement）
服务提供商与客户之间的一个协议，用于规定服务提供商应当提供什么服务。 Smoke Testing－－冒烟测试
对软件主要功能进行快餐式测试。最早来自于硬件测试实践，以确定新的硬件在第一次使用的时候不会着火。
software development process－－软件开发过程 一个把用户需求转换为软件产品的开发过程。 software diversity－－软件多样性
一种软件开发技术，其中，由不同的程序员或开发组开发的相同规格的不同程序，目的是为了检测错误、增加可靠性。 software element－－软件元素
软件开发或维护期间产生或获得的一个可交付的或过程内的文档。 software engineering－－软件工程
一个应用于软件开发、操作和维护的系统性的、有纪律的、可量化的方法。 software engineering environment－－软件工程环境 执行一个软件工程工作的硬件、软件和固件。 software life cycle－－软件生命周期
开始于一个软件产品的构思，结束于该产品不再被使用的这段期间。 SOP－－标准操作过程（standard operating procedures） 书面的步骤，这对保证生产和处理的控制是必须的。 source code－－源代码
用一种适合于输入到汇编器、编译器或其它转换设备的计算机指令和数据定义。 source statement－－源语句 参考语句（statement）
第132贴【2004－11－2】：常见测试术语十四
specification－－规格
组件功能的一个描述，格式是：对指定的输入在指定的条件下的输出。 specified input－－指定的输入 一个输入，根据规格能预知其输出。 spiral model －－螺旋模型
软件开发过程的一个模型，其中的组成活动，典型的包括需求分析，概要设计，详细设计，编码，集成和测试等活动被迭代的执行直到软件被完成。 SQL－－结构化查询语句（structured query language） 在一个关系数据库中查询和处理数据的一种语言。 state－－状态
一个系统、组件或模拟可能存在其中的一个条件或模式。 state diagram－－状态图
一个图形，描绘一个系统或组件可能假设的状态，并且显示引起或导致一个状态切换到另一个状态的事件或环境。
state transition－－状态转换
一个系统或组件的两个允许状态之间的切换。 state transition testing －－状态转换测试 根据状态转换来设计测试用例的一种方法。 statement－－语句
程序语言的一个实体，是典型的最小可执行单元。 statement coverage－－语句覆盖
在一个组件中，通过执行一定的测试用例所能达到的语句覆盖百分比。 statement testing－－语句测试
根据语句覆盖来设计测试用例的一种方法。 Static Analysis－－静态分析
分析一个程序的执行，但是并不实际执行这个程序。 第133贴【2004－11－3】：常见测试术语十五 Static Analyzer－－静态分析器 进行静态分析的工具。 Static Testing－－静态测试 不通过执行来测试一个系统。 statistical testing－－统计测试
通过使用对输入统计分布进行分析来构造测试用例的一种测试设计方法。 stepwise refinement－－逐步优化
一个结构化软件设计技术，数据和处理步骤首先被广泛的定义，然后被逐步的进行了细化。 storage testing－－存储测试
验证系统是否满足指定存储目标的测试。 Stress Testing－－压力测试
在规定的规格条件或者超过规定的规格条件下，测试一个系统，以评价其行为。类似负载测试，通常是性能测试 的一部分。
structural coverage－－结构化覆盖 根据组件内部的结构度量覆盖率。
structural test case design－－结构化测试用例设计 根据组件内部结构的分析来设计测试用例的一种方法。 structural testing－－结构化测试
参考结构化测试用例设计（structural test case design） structured basis testing－－结构化的基础测试
根据代码逻辑设计测试用例来获得100％分支覆盖的一种测试用例设计技术。
structured design－－结构化设计
软件设计的任何遵循一定纪律的方法，它按照特定的规则，例如：模块化，有顶向下设计，数据逐步优化，系统 结构和处理步骤。
structured programming－－结构化编程
在结构化程序开发中的任何包含结构化设计和结果的软件开发技术。 structured walkthrough－－结构化走读 参考走读（walkthrough）
第134贴【2004－11－4】：常见测试术语十六 stub－－桩
一个软件模块的框架或特殊目标实现，主要用于开发和测试一个组件，该组件调用或依赖这个模块。
symbolic evaluation－－符号评价 参考符号执行（symbolic execution） symbolic execution－－符号执行
通过符号表达式来执行程序路径的一种静态分析设计技术。其中，程序的执行被用符号来模拟，例如，使用变量
名而不是实际值，程序的输出被表示成包含这些符号的逻辑或数学表达式。 symbolic trace－－符号轨迹
一个计算机程序通过符号执行是经过的语句分支结果的一个记录。 syntax testing－－语法分析
根据输入语法来验证一个系统或组件的测试用例设计技术。 system analysis－－系统分析
对一个计划的或现实的系统进行的一个系统性调查以确定系统的功能以及系统与其它系统之间的交互。