第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－－静态分析       
分析一个程序的执行，但是并不实际执行这个程序。