试述状态机模型的开发步骤

题目

试述状态机模型的开发步骤

参考答案和解析
正确答案: 一般构造状态机模型需要如下步骤:
①定义状态变量。定义与安全有关的状态变量,主要是系统的主体、客体、安全属性及主体对客体的访问权等。
②定义安全状态。是根据系统的安全策略,抽象为安全性质。
③定义状态转换函数。定义状态转换函数或操作规则,定义安全操作执行前后状态变量的变化状态。
④证明转换函数是否可保证安全状态,要求每个转换函数应该达到在如下要求,即某操作之前系统处于安全状态,操作完成后,系统仍处于安全状态。
⑤定义并证明初始状态。这一步在定义了系统的状态变量后,为每一个状态变量选择一个初始值,并证明初始状态是安全的。
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

试述概念模型的作用及数据库概念设计的基本步骤。


正确答案:概念模型也称信息模型它是对信息世界的管理对象、属性及联系等信息的描述形式。概念模型不依赖计算机及DBMS它是现实世界的真实而全面的反映。概念模型通过系统需求分析得到对概念模型数据化处理后得到了数据库的数据模型。 数据库概念设计包括如下基本步骤: (1)确定实体集 (2)确定联系和联系类型 (3)建立由信息模型表示的企业模型 (4)确定实体集属性 (5)对信息模型优化
概念模型也称信息模型,它是对信息世界的管理对象、属性及联系等信息的描述形式。概念模型不依赖计算机及DBMS,它是现实世界的真实而全面的反映。概念模型通过系统需求分析得到,对概念模型数据化处理后得到了数据库的数据模型。 数据库概念设计包括如下基本步骤: (1)确定实体集 (2)确定联系和联系类型 (3)建立由信息模型表示的企业模型 (4)确定实体集属性 (5)对信息模型优化

第2题:

试述Intranet开发的常用模式及其开发步骤。


正确答案: Intranet开发模式有:传统模式与Internet模式。
传统模式的基本步骤:需求调查、环境分析、项目计划或建议书、系统实施、评价与验收。
Internet模式的基本步骤是:需求调查、环境分析、建立Intranet、开发Intranet上各项应用Intranet评价的总结与推广。

第3题:

实施原型化方法有若干基本步骤,下述不属于其基本步骤的是

A.识别基本需求

B.开发工作模型

C.模型验证

D.设计系统


正确答案:D
解析:原型生命周期由10个步骤组成。①合适的(好的)选择;②识别基本需求;③开发工作模型;④模型验证;⑤修正和改进;⑥判定原型完成;⑦判定细部说明;⑧严格说明细部;⑨判定原型效果;⑩整理原型和提供文档。

第4题:

试述面向对象开发方法的基本思想和步骤。


正确答案:面向对象开发方法的基本思想和步骤完全融合了结构化生命周期方法和快速原型方法的基本思想和步骤,只是在其中采取了面向对象的技术。
具体来说,也包括需求分析、总体设计、详细设计、编程实施等各个阶段,只是在需求分析阶段建立的是面向对象的数据模型,在设计和实现阶段采取面向对象的技术等。

第5题:

绘制状态机图的常用的步骤是什么?请简要说明。


正确答案:(1)寻找主要状态;
(2)确定状态间转换;
(3)细化状态内的活动与转换;
(4)考虑使用复合状态。

第6题:

试述签订开发协议的步骤?


正确答案: 初步拟定的开发区域确定后,要积极和地方政府沟通,向政府(一般为县一级)报送开发请示,争取资源配置承诺和开发权,和政府达成初步开发意向后,编制风电场开发协议,初步确定开发区域坐标,同时报送公司规划发展部和政府主管部门,审定同意后,由项目公司和地方政府签订风电场开发协议。协议中一般要明确拟开发风场坐标、测风塔设立、拟开工时间和地方政府需要配合的工作等。

第7题:

软件原型化开发方法有其基本步骤,下述()是实施原型化的最基本的步骤。

  • A、获得基本需求
  • B、开发工作模型
  • C、严格细部说明
  • D、模型验证

正确答案:A,B,D

第8题:

该项目采用螺旋式生命周期模型完成开发工作,简述采用螺旋式生命周期模型进行多媒体应用系统开发的基本步骤。


正确答案:采用螺旋式生命周期模型进行多媒体应用系统开发的基本步骤(按顺序)如下: (1)用户需求分析。 (2)基于已知的需求分析构建一个应用系统原型。 (3)将原型交给用户使用。 (4)从用户那里获得反馈更改用户需求。 (5)建立下一个原型加入新的用户需求。 (6)重复上述过程直到该应用软件完成。
采用螺旋式生命周期模型进行多媒体应用系统开发的基本步骤(按顺序)如下: (1)用户需求分析。 (2)基于已知的需求分析,构建一个应用系统原型。 (3)将原型交给用户使用。 (4)从用户那里获得反馈,更改用户需求。 (5)建立下一个原型,加入新的用户需求。 (6)重复上述过程,直到该应用软件完成。

第9题:

UML行为模型的状态图是以状态机模型的方式进行的用例实现。状态图只能用来实现单个用例。


正确答案:错误

第10题:

基本呼叫状态模型BCSM是用有限状态机描述建立/维持呼叫的动作


正确答案:正确