| ·系统单元： | 系统单元是指系统或系统的某-个组成部分。 |
| ·软件单元： | 软件单元是指仅由软件组成的系统单元。 |
| ·目标函数： | 目标函数是指基于函数模型对软件单元的需求规格说明所作的定义。它以输入、输出及其
变换规则的形式描述软件单元。 |
| ·状态机： | 状态机是指描述系统功能的一个特殊函数，它根据输入和系统的当前状态，产生输出和系
统的新状态值，并以其新状态值替代原有的当前状态值。 |
| ·状态： | 状态是指状态机以及基于状态机模型的灰箱和明箱中所存储的、能够反映其输入历史(即
历次当前状态值)及其变换规则的数据。 |
| ·目标状态机： | 目标状态机是指基于状态机模型对软件单元的需求规格说明所作的定义。它以输入、输
出、状态(必要时包括初始状态)及其变换规则的形式描述软件单元。 |
| ·黑箱： | 黑箱是指一种基于函数模型的机制，它对应每一输入产生确定的输出，而且其输出是根据
接受的输入历史而唯一确定的,但其内部结构是隐藏的。 |
| ·灰箱： | 灰箱是指一种基于状态机模型的机制，由状态和机箱两部分所组成，其机箱部分是一个仅表示其变换规则的黑箱。 |
| ·明箱： | 明箱是指一种基于状态机模型的机制，由状态和机箱两部分所组成，其机箱部分除表达其
变换规则外，还表达状态机中包括状态在内的各组成部分之间的控制结构。 |
| ·机箱： | 机箱是指状态机以及基于状态机模型的灰箱和明箱中执行其变换规则的黑箱。 |
| ·过程： | 过程是指实现目标函数的软件单元。 |
| ·模块： | 模块是指实现目标状态机的软件单元，它由一组保留数据和一组存取与修改这些数据的
过程所组成。 |
| ·验证： | 验证是指确定软件开发周期中的一个给定阶段的产品是否达到上一阶段确立的需求的过
程；或指确定模块(或过程)是否正确实现其目标状态机(或目标函数)的过程；或指确定箱单元
中灰箱的输入、输出关系是否与其黑箱的输入、输出关系一致以及明箱的状态和输入、输出关
系是否与其灰箱的状态和输入、输出关系一致的过程。 |
| ·扩展： | 扩展是指在箱单元中，通过定义状态数据由黑箱产生灰箱的过程；或指通过定义过程的控
制结构由灰箱产生明箱的过程。 |
| ·归约： | 归约是指在箱单元中，通过隐蔽过程的控制结构由明箱得到灰箱的过程；或指通过隐蔽状
态数据由灰箱得到黑箱的过程。 |