HB 中华人民共和国航空航天工业部 航空工业标准 HB/Z182-90 指导性技术文件 状态机软件开发方法 1990一09一18发布 1991-02一01实施 中华人民共和国航空航天工业部 批准 中华人民共和国航空航天工业部航空工业标准 状态机软件开发方法 HB1Z182-90 1主题内容与适用范围 本规范规定了使用状态机方法开发软件的统一步骤、符号和要求. 本标准适用于以状态机为模型开发软件的全过程,以状态机为模型开发软件的各单位都 应遵守本标准. 2引用标准 GB/T11457 软件工程术语 HB6469 软件需求规格说明编制规定 HB6464 软件开发规范 HB6465 软件文档编制规范 HB/Z 180 软件质量特性与评价方法 HB/Z 181 编程格式 3术语和缩写词 3.1术语 下面给出在本标准中用到的一些术语的定义,其它术语的定义按软件工程术语标准(GB/ 寸11457). 3.1.1系统单元 系统单元是指系统或系统的某一个组成部分. 3.1.2软件单元 软件单元是指仅由软件组成的系统单元. 3.1.3目标函数 目标函数是指基于函数模型对软件单元的需求规格说明所作的定义.它以输入、输出及其 变换规则的形式描述软件单元. 3.1.4状态机 状态机是指描述系统功能的一个特殊函数,它根据输入和系统的当前状态,产生输出和系 统的新状态值,并以其新状态值替代原有的当前状态值. 3.1.5状态 状态是指状态机以及基于状态机模型的灰箱和明箱中所存储的、能够反映其输入历史(即 航空航天工业邮1990一09一18发布 1991一02-01实施 1 HB/Z182-90 历次当前状态值)及变换规则的数据. 3.1.6目标状态机 目标状态机是指基于状态机模型对软件单元的需求规格说明所作的定义.它以输入、输 出、状态(必要时包括初始状态)及其变换规则的形式描述软件单元. 3.1.7黑箱 黑箱是指一种基于函数模型的机制,它对应每一输入产生确定的输出,而且其输出是根据 接受的输入历史而唯一确定的,但其内部结构是隐藏的. 3.1.8灰箱 灰箱是指一种基于状态机模型的机制,由状态和机箱两部分所组成,其机箱部分是一个仅 表示其变换规则的黑箱. 3.1.9明箱 明箱是指一种基于状态机模型的机制,由状态和机箱两部分所组成,其机箱部分除表达其 变换规则外,还表达状态机中包括状态在内的各组成部分之间的控制结构. 3.1.10机箱 机箱是指状态机以及基于状态机模型的灰箱和明箱中执行其变换规则的黑箱. 3.1.11箱单元 箱单元是指对同一个软件单元所作的黑箱、灰箱和明箱等三种描述的统称;对同一个软件 单元来说,这三种描述的外部属性应该完全一致. 3.1.12过程 过程是指实现目标函数的软件单元. 3.1.13模块 模块是指实现日标状态机的款件单元,它由一组保留数据和一组存取与修改这些数据的 过程所组成. 3.1.14验证 验证是指确定软件开发周期中的一个给定阶段的产品是否达到上一阶段确立的需求的过 程;或指确定模块(或过程)是否正确实现其目标状态机(或目标函数)的过程;或指确定箱单元 中灰箱的输入、输出关系是否与其黑箱的输入、输出关系一致以及明箱的状态和输入、输出关 系是否与其灰箱的状态和输入、输出关系一致的过程. 3.1.15扩展 扩展是指在箱单元中,通过定义状态数据由黑箱产生灰箱的过程;或指通过定义过程的控 制结构由灰箱产生明箱的过程. 3.1.16归约 归约是指在箱单元中,通过隐蔽过程的控制结构由明箱得到灰箱的过程;或指通过隐蔽状 态数据由灰箱得到黑箱的过程. 4软件的表...