一般构造状态机模型需要如下步骤：
①定义状态变量。定义与安全有关的状态变量，主要是系统的主体、客体、安全属性及主体对客体的访问权等。
②定义安全状态。是根据系统的安全策略，抽象为安全性质。
③定义状态转换函数。定义状态转换函数或操作规则，定义安全操作执行前后状态变量的变化状态。
④证明转换函数是否可保证安全状态，要求每个转换函数应该达到在如下要求，即某操作之前系统处于安全状态，操作完成后，系统仍处于安全状态。
⑤定义并证明初始状态。这一步在定义了系统的状态变量后，为每一个状态变量选择一个初始值，并证明初始状态是安全的。
（简答题）
试述状态机模型的开发步骤
正确答案
答案解析
略
相似试题
（简答题）
试述面向对象开发方法的基本思想和步骤。
（判断题）
UML行为模型的状态图是以状态机模型的方式进行的用例实现。状态图只能用来实现单个用例。
（填空题）
螺旋模型将开发过程分为几个螺旋周期。在每个螺旋周期内分为四个工作步骤：（）、（）、开发实施、（）。
（简答题）
绘制状态机图的常用的步骤是什么？请简要说明。
（单选题）
状态图和活动图建立了UML面向对象开发过程中的对象动态（）模型。
（单选题）
面向对象开发方法定义了三种模型来描述系统，（）可以用状态图来表示。
（填空题）
软件的开发模式有瀑布模型、喷泉模型、基于构件的开发模型和（）方法。
（单选题）
建立实体--联系模型（E-R模型）的首要步骤是（）
（单选题）
在快速原型模型的开发过程中，用原型过程来代替全部开发阶段所用模型是（）模型。
