高级系统分析师2012下半年上午试题

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

高级系统分析师2012下半年上午试题
(总分:75.00,做题时间:90分钟)
一、单项选择题(总题数:43,分数:75.00)
假设系统中有n个进程共享3台打印机,任一进程在任一时刻最多只能使用1台打印机。

若用PV操作控制n个进程使用打印机,则相应信号量S的取值范围为______;若信号量S的值为-3,则系统中有______个进程等待使用打印机。

(分数:2.00)
A.0,-1,…,-(n-1)
B.3,2,1,0,-1,…,-(n-3) √
C.1,0,-1,…,-(n-1)
D.2,1,0,-1,…,-(n-2)
解析:
A.0
B.1
C.2
D.3 √
解析:[解析] P操作表示申请一个资源,V操作表示释放一个资源。

P操作的定义为:“S:=S-1”,若S≥0,则执行P操作的进程继续执行,否则将该进程置为等待状态,排入等待队列。

V操作的定义为:“S:=S+1”,若S>0,则执行V操作的进程继续执行,否则释放队列中第一个等待信号量的进程。

本试题中,S是一个互斥信号量,表示当前某台打印机是否被某个进程使用。

因为有3台打印机可以并发使用,意味着每次只允许3个进程进入互斥段,所以S的初值应设为3,S的取值范围为3,2,1,0,-1,…,-(n-3)。

信号量S的物理意义为:当S≥0时,表示资源的可用数;当S<0时,表示有其绝对值|S|个进程正在等待进入临界区,它们处于等待队列中。

若S=-3,则系统中有3个进程等待使用打印机。

假设文件系统采用索引节点管理,且索引节点有8个地址项iaddr[0]~iaddr[7],每个地址项大小为4字节,iaddr[0]~iaddr[4]采用直接地址索引,iaddr[5]和iaddr[6]采用一级间接地址索引,iaddr[7]采用二级间接地址索引。

假设磁盘索引块和磁盘数据块大小均为1KB字节,文件File1的索引节点如图所示。

若用户访问文件File1中逻辑块号为5和261的信息,则对应的物理块号分别为______;101号物理块存放的是______。

(分数:2.00)
A.89和90
B.89和136
C.58和187 √
D.90和136
解析:
A.File1的信息
B.直接地址索引表
C.一级地址索引表
D.二级地址索引表√
解析:[解析] 依题意,由于磁盘索引块为1KB字节,每个地址项大小为4字节,因此每个磁盘索引块可存放1024/4=256个物理块地址。

又因为文件索引节点中有8个地址项,其中5个地址项iaddr[0]~iaddr[4]为直接地址索引,这意味着逻辑块号为0~4的为直接地址索引;2个地址项iaddr[5]和iaddr[6]是一级间接地址索引,这意味着其中第1个地址项iaddr[5]指出的物理块号中存放逻辑块号为5~260的物理块号,第2个地址项iaddr[6]指出的物理块号中存放逻辑块号为261~516的物理块号;1个地址项iaddr[7]是二级间接地址索引,该地址项指出的物理块存放了256个间接索引表的地址,这256个间接索引表存放逻辑块号为517~66052的物理块号。

从图中可以看出,逻辑块号为5的信息对应存放在58号物理块中,逻辑块号为261的信息对应存放在187号物理块中。

换而言之,要访问逻辑块号为5、261的信息,系统应采用一级间接地址索引。

在上图中,iaddr[7]采用二级间接地址索引,且iaddr[7]中存放的物理块号为101。

换而言之,101号物理块存放的是二级间接地址索引表。

在数据库设计的需求分析阶段应当形成______,这些文档可以作为______阶段的设计依据。

(分数:2.00)
A.程序文档、数据字典和数据流图
B.需求说明文档、程序文档和数据流图
C.需求说明文档、数据字典和数据流图√
D.需求说明文档、数据字典和程序文档
解析:
A.逻辑结构设计
B.概念结构设计√
C.物理结构设计
D.数据库运行和维护
解析:[解析] 数据库系统设计依次分为需求分析、概念结构设计、逻辑结构设计、物理结构设计、应用程序设计和运行维护6个阶段。

其中,需求分析阶段的任务是:对现实世界要处理的对象进行详细调查,在了解现行系统的概况、确定新系统功能的过程中,收集支持系统目标的基础数据及其处理方法。

需求分析是在用户调查的基础上,通过分析逐步明确用户对系统的需求,包括数据需求和围绕这些数据的业务处理需求。

在需求分析中,通过自顶向下、逐步分解的方法分析系统。

分析的结果用数据流图(DFD)进行图形化的描述,并用一些规范的表格对数据分析结果和描述做补充,最后形成需求说明书。

需求分析阶段形成的文档——数据流图(DFD)、数据字典、需求规格说明书将作为概念结构设计阶段的设计依据。

某商场商品数据库的商品关系模式P(商品代码,商品名称,供应商,联系方式,库存量),函数依赖集F={商品代码→商品名称,(商品代码,供应商)→库存量,供应商→联系方式}。

商品关系模式P达到______;该关系模式分解成______后,具有无损连接的特性,并能够保持函数依赖。

(分数:2.00)
A.1NF √
B.2NF
C.3NF
D.BCNF
解析:
A.P1(商品代码,联系方式),P2(商品名称,供应商,库存量)
B.P1(商品名称,联系方式),P2(商品代码,供应商,库存量)
C.P1(商品代码,商品名称,联系方式),P2(供应商,库存量)
D.P1(商品代码,商品名称),P2(商品代码,供应商,库存量),P3(供应商,联系方式) √
解析:[解析] 依题意,属性(商品代码,供应商)可决定的零件P关系模式的所有属性,因此零件P关系模式的主键为(商品代码,供应商)。

由函数依赖集F={(商品代码,供应商)→库存量,商品代码→商品名称,供应商→联系方式}可知,属性“商品名称”、“联系方式”都部分依赖于码,所以零件P关系模式属于第一范式(1NF)。

1NF存在冗余度大、修改操作不一致、插入异常和删除异常4个主要问题。

若将零件P关系模式分解成:P1(商品代码,商品名称),P2(商品代码,供应商,库存量),P3(供应商,联系方式),则分解后的关系模式具有无损连接的特性,并能够保持函数依赖。

而选项A、选项B和选项C的分解是有损且不保持函数依赖。

例如,选项A中的分解P1的函数依赖集F1=Ф,分解P2的函数依赖集F2=Ф,丢失了F中的函数依赖,即不保持函数依赖。

1.以下关于软件中间件的叙述,错误的是______。

(分数:1.00)
A.中间件通过标准接口实现与应用程序的关联,提供特定功能的服务
B.使用中间件可以提高应用软件的可移植性
C.使用中间件将增加应用软件设计的复杂度√
D.使用中间件有助于提高开发效率
解析:[解析] 软件中间件是位于硬件、操作系统等平台和应用之间的通用服务,这些服务具有标准的程序接口和协议。

软件中间件是一种独立的系统软件或服务程序,可以帮助分布式应用软件在不同的技术之间共享资源。

其主要目的是实现应用与平台的无关性。

换而言之,中间件能够屏蔽操作系统和网络协议的差
异,为应用程序提供多种通信机制以满足不同领域的应用需要。

可见,使用软件中间件可以简化应用软件设计的复杂度。

据此,选项C的说法有误。

2.以下关于嵌入式系统开发的叙述,正确的是______。

(分数:1.00)
A.宿主机与目标机之间只需要建立逻辑连接
B.宿主机与目标机之间只能采用串口通信方式
C.在宿主机上必须采用交叉编译器来生成目标机的可执行代码√
D.调试器与被调试程序必须安装在同一台机器上
解析:[解析] 在宿主机与目标机之间必须建立物理连接和逻辑连接。

物理连接是指宿主机与目标机之间通过物理线路将其一定的物理端口连接在一起,其连接方式主要有串口、以太网接口和OCD(On Chip Debug)等3种。

逻辑连接是指宿主机与目标机之间按某种通信协议建立起来的虚连接。

在嵌入式系统开发中,通常采用交叉编译器将宿主机上编写的高级语言程序编译成可以在目标机上运行的二进制代码。

在嵌入式系统中,由于目标机的资源有限,调试器与被调试程序通常运行在不同的机器上。

调试器主要运行在宿主机上,而被调试程序则运行在目标机上。

3.以下关于嵌入式系统硬件抽象层的叙述,错误的是______。

(分数:1.00)
A.硬件抽象层与硬件密切相关,可对操作系统隐藏硬件的多样性
B.硬件抽象层将操作系统与硬件平台隔开
C.硬件抽象层使软硬件的设计与调试可以并行
D.硬件抽象层应包括设备驱动程序和任务调度√
解析:[解析] 板级支持包(BSP,也称为硬件抽象层HAL)一般包含相关底层硬件的初始化、数据的输入/输出操作和硬件设备的配置等功能,它主要具有以下两个特点:
①硬件相关性,因为嵌入式实时系统的硬件环境具有应用相关性,而作为上层软件与硬件平台之间的接口,BSP需为操作系统提供操作和控制具体硬件的方法。

②操作系统相关性,不同的操作系统具有各自的软件层次结构,因此不同操作系统具有特定的硬件接口形式。

硬件抽象层的设计目的在于将硬件抽象化。

它隐藏了特定平台的硬件接口细节,为操作系统提供虚拟硬件平台,使其具有硬件无关性,可在多种平台上进行移植。

4.______不是反映嵌入式实时操作系统实时性的评价指标。

(分数:1.00)
A.任务执行时间√
B.中断响应和延迟时间
C.任务切换时间
D.信号量混洗时间
解析:[解析] 实时性是嵌入式实时操作系统(RTOS)评价的最重要指标之一。

其参数的优劣是用户选择RTOS 的一个重要参考。

而影响嵌入式操作系统实时性的因素有很多,例如常用系统调用平均运行时间、任务切换时间、线程切换时间、信号量混洗时间、中断响应和延迟时间等。

其中,信号量混洗时间是指从一个任务释放信号量到另一个等待该信号量的任务被激活的时间延迟。

选项A的“任务执行时间”不是反映RTOS实时性的评价指标。

5.以下关于网络控制的叙述,正确的是______。

(分数:1.00)
A.由于TCP的窗口大小是固定的,因此防止拥塞的方法只能是超时重发
B.在前向纠错系统中,当接收端检测到错误后就要请求发送端重发出错分组
C.在滑动窗口协议中,窗口的大小以及确认应答使得可以连续发送多个数据√
D.在数据报系统中,所有连续发送的数据都可以沿着预先建立的虚通路传送
解析:[解析] 在TCP数据段结构中,“窗口大小”字段长度为16位,所能表示的最大窗口为2 16-1=65535B。

接收方设置该值,发送方发送给接收方的报文大小,应不超过该值。

通过这个机制,可以控制发送端发送的数据量,从而实现流量控制。

在滑动窗口协议中,窗口的滑动由确认帧的编号控制,因此可以连续发送多个帧。

双方通信时,发送方窗口的大小会随着接收方的窗口大小和通信拥塞窗口的大小而改变,即TCP采用可变大小的滑动窗口协议进行流量控制。

TCP的拥塞控制方法主要有:①慢开始;②拥塞避免;③快重传;④快恢复;⑤随机早期检测RED等。

前向纠错(FEC)是一种数据编码技术,传输中检错不但可以被接收方发现,而且接收方还能确定二进制码元发生错误的位置,从而加以纠正。

由于FEC方式使用纠错码,发现错误后无须通知发送方重发,从而区别于ARQ方式。

在虚电路系统中,所有连续发送的数据都可以沿着预先建立的虚通路传送。

而在数据报系统中,数据的传送无需事先建立连接。

6.以下关于域名服务器的叙述,错误的是______。

(分数:1.00)
A.本地缓存域名服务不需要域名数据库
B.顶级域名服务器是最高层次的域名服务器√
C.本地域名服务器可以采用递归查询和迭代查询两种查询方式
D.权限服务器负责将其管辖区内的主机域名转换为该主机的IP地址
解析:[解析] 可以将DNS服务器按层次分为根域名服务器、顶级域名(TLD)服务器、权威域名服务器和本地域名服务器4类。

根域名服务器是最高层次的域名服务器。

顶级域名服务器负责管理在本顶级域名服务器上注册的所有二级域名。

据此,选项B的说法有误。

7.以下关于网络存储的叙述,正确的是______。

(分数:1.00)
A.DAS支持完全跨平台文件共享,支持所有的操作系统
B.NAS通过SCSl连接至服务器,通过服务器网卡在网络上传输数据
C.FC SAN的网络介质为光纤通道,而IP SAN使用标准的以太网√
D.SAN设备有自己的文件管理系统,NAS中的存储设备没有文件管理系统
解析:[解析] 直接连接存储(DAS)也称为SAS(服务器附加存储),它将磁盘阵列、磁带库等数据存储设备通过扩展接口(通常是SCSI接口)直接连接到服务器或客户端。

它依赖于服务器,其本身是硬件的堆叠,不带有任何存储操作系统。

网络附加存储(NAS)与DAS不同,它的存储设备不是直接连接到服务器,而是直接连接到网络,通过标准的网络拓扑结构连接到服务器。

NAS实际上是一个带有“瘦”服务的存储设备,其作用类似于一个专用的文件服务器,只不过省略了显示器、键盘、鼠标等设备。

存储区域网络(SAN)是通过专用高速网络将一个(或多个)网络存储设备和服务器连接起来的专用存储系统。

目前,SAN主要有IP SAN和FC SAN两种形式(分别使用以太网和光纤通道)。

8.以下关于软件架构风格与系统性能关系的叙述,错误的是______。

(分数:1.00)
A.对于采用层次化架构风格的系统,划分的层次越多,系统的性能越差
B.对于采用管道-过滤器架构风格的系统,可以通过引入过滤器的数据并发处理,以便提高系统性能
C.对于采用面向对象架构风格的系统,可以通过减少功能调用层次提高系统性能
D.对于采用过程调用架构风格的系统,可以通过将显式调用策略替换为隐式调用策略提高系统性能√解析:[解析] 对于采用过程调用架构风格的应用系统,将显式调用策略替换为隐式调用策略能够提高系统的灵活性,但会降低系统的性能。

据此,选项D的说法有误。

9.峰值MIPS(每秒百万次指令数)用来描述计算机的定点运算速度,通过对计算机指令集中基本指令的执行速度计算得到。

假设某计算机中基本指令的执行需要5个机器周期,每个机器周期为3微秒,则该计算机的定点运算速度为______MIPS。

(分数:1.00)
A.8
B.15
C.0.125
D.0.067 √
解析:[解析] 依题意,该计算机每完成一条基本指令需要5×3=15μs,根据峰值MIPS的定义,该计算机的速度为平均每秒钟所执行的指令条数,即其时钟在1s内有多少个指令的平均时钟数。

该计算机的定点运算速度=1/15μs≈0.0667×10 6 (条/s)=0.0667MIPs。

10.ERP中的企业资源包括______。

(分数:1.00)
A.物流、资金流和信息流√
B.物流、工作流和信息流
C.物流、资金流和工作流
D.资金流、工作流和信息流
解析:[解析] 企业的所有资源包括三大流:物流、资金流和信息流。

企业资源规划(ERP)也就是对这3种资源进行全面集成管理的管理信息系统。

ERP是一个以财务会计为核心的信息系统,用于识别和规划企业资源,对采购、生产、成本、库存、销售、运输、财务和人力资源等进行规划和优化,以达到最佳资源组合,使企业利润最大化。

CRM是一套先进的管理思想及技术手段,它通过将______进行有效的整合,最终为企业涉及到的各个领域提供了集成环境。

CRM系统的4个主要模块包括______。

(分数:2.00)
A.员工资源、客户资源与管理技术
B.销售资源、信息资源与商业智能
C.销售管理、市场管理与服务管理
D.人力资源、业务流程与专业技术√
解析:
A.电子商务支持、呼叫中心、移动设备支持、数据分析
B.信息分析、网络应用支持、客户信息仓库、工作流集成
C.销售自动化、营销自动化、客户服务与支持、商业智能√
D.销售管理、市场管理、服务管理、现场服务管理
解析:[解析] 客户关系管理(CRM)系统是基于方法学、软件和因特网的以有组织的方式帮助企业管理客户关系的信息系统。

它是一套先进的管理思想及技术手段,通过将人力资源、业务流程与专业技术进行有效的整合,最终为企业涉及到客户或消费者的各个领域提供了集成环境,使得企业可以更低成本、更高效率地满足客户的需求,并与客户建立起基于学习性关系基础上的一对一营销模式,从而让企业可以在最大程度上提高客户满意度及忠诚度。

CRM系统包括销售自动化、营销自动化、客户服务与支持、商业智能等4个主要模块。

11.企业信息化程度是国家信息化建设的基础和关键,企业信息化方法不包括______。

(分数:1.00)
A.业务流程重组
B.组织机构变革√
C.供应链管理
D.人力资本投资
解析:[解析] 企业作为国民经济的基本单元,其信息化程度是国家信息化建设的基础和关键。

企业信息化就是用现代信息技术来实现企业经营战略、行为规范和业务流程。

企业信息化大大拓宽了企业活动的时空范围。

在时间上,企业信息化以客户需求为中心实施敏捷制造;在空间上,企业信息化以虚拟形态将全球聚合在荧屏上。

企业信息化方法主要包括:①业务流程重构方法;②核心业务应用方法;③信息系统建设方法;④主题数据库方法;⑤资源管理方法(例如常见的ERP(企业资源规划)、SCM(供应链管理)等);⑥人力资本投资方法。

选项B的“组织机构变革”不是企业信息化方法。

企业信息资源集成管理的前提是对企业______的集成,其核心是对企业______的集成。

(分数:2.00)
A.信息功能√
B.信息设施
C.信息活动
D.信息处理
解析:
A.业务流
B.内部信息流
C.外部信息流
D.内部和外部信息流√
解析:[解析] 企业信息资源管理(IRM)是指企业为达到预定的目标运用现代的管理方法和手段对与企业相关的信息资源和信息活动进行组织、规划、协调和控制,以实现对企业信息资源的合理开发和有效利用。

IRM的目标是通过增强企业处理动态和静态条件下内外信息需求的能力来提高管理的效益,以期达到“高效、实效和经济”的最佳效果。

它包括数据资源管理和信息处理管理。

前者强调对数据的控制,后者关心管理人员在一定条件下如何获取和处理信息,且强调企业信息资源的重要性。

集成管理是企业IRM的主要内容之一。

实行企业信息资源集成的前提是对企业历史上形成的企业信息功能的集成,其核心是对企业内部和外部信息流的集成,其实施的基础是各种信息手段的集成。

通过集成管理实现企业信息系统各要素的优化组合,使信息系统各要素之间形成强大的协同关系,从而更大限度地发挥企业信息的功能,以实现企业可持续发展的目的。

12.为了加强对企业信息资源的管理,企业应按照信息化和现代化企业管理要求设置信息管理机构,建立信息中心。

信息中心的主要职能不包括______。

(分数:1.00)
A.处理信息,确定信息处理的方法
B.用先进的信息技术提高业务管理水平
C.组织招聘信息资源管理员√
D.建立业务部门期望的信息系统和网络
解析:[解析] 依题意,信息中心作为企业独立的信息管理机构,通常由高层负责人直接领导并为企业高层管理者提供服务。

其主要职能是处理信息,确定信息处理的方法,用先进的信息技术提高业务管理水平,建立业务部门期望的信息系统和网络,并预测未来的信息系统和网络,培养信息资源的管理人员等。

而选项C的“组织招聘信息资源管理员”是企业人力资源管理部门的主要职责。

13.以下关于软件生存周期模型的叙述,正确的是______。

(分数:1.00)
A.在瀑布模型中,前一个阶段的错误和疏漏会隐蔽地带到后一个阶段√
B.在任何情况下使用演化模型,都能在一定周期内由原型演化到最终产品
C.软件生存周期模型的主要目标是为了加快软件开发的速度
D.当一个软件系统的生存周期结束之后,它就进入到一个新的生存周期模型
解析:[解析] 软件生存周期也称为软件生命期、生存期,是指从形成开发软件概念起,经过开发、使用、运维等阶段,直到失去使用价值消亡为止的整个过程。

通常,整个生存周期包括计划(定义)、开发、运行(维护)三个时期,每一个时期又划分为若干阶段。

软件生存周期模型是描述软件开发过程中各种活动如何执行的模型,是软件工程过程简化的抽象描述。

其作用包括(但不限于):确立了软件开发中各阶段的次序限制,活动准则,所要遵守的规定和限制,便于各种活动的协调,人员之间的有效通信,有利于活动重用和活动管理。

瀑布模型将软件生存周期中各活动规定为依线性顺序连接的若干阶段。

该模型上一阶段的变换结果是下一阶段变换的输入,相邻两个阶段具有因果关系,紧密联系。

一个阶段的失误将蔓延到以后的各个阶段。

为了保障软件开发的正确性,每一阶段任务完成后,都必须对它的阶段性产品进行评审,确认之后再转入下一阶段的工作。

在评审过程中发现错误和疏漏后,应该及时反馈到前面的有关阶段修正错误或弥补疏漏,然后再重复前面的工作,直至某一阶段通过评审后再进入下一阶段。

14.螺旋模型将整个软件开发过程分为多个阶段,每个阶段都由目标设定、______、开发和有效性验证、评审4个部分组成。

(分数:1.00)
A.需求分析
B.风险分析√
C.系统设计
D.架构设计
解析:[解析] 螺旋模型是一个软件过程演化模型,将原型实现的迭代特征与线性顺序(瀑布)模型中控制的和系统化的方面结合起来,使得软件增量版本的快速开发成为可能。

它将整个软件开发过程分为多个阶段,
每个阶段都由目标设定、风险分析、开发和有效性验证、评审4个部分组成。

螺旋模型的软件开发过程实际上就是这4个部分的迭代过程,每迭代一次,螺旋线就增加一周,软件系统就生成一个新版本。

基于UML的需求分析过程的基本步骤为:利用______表示需求;利用______表示目标软件系统的总体架构。

(分数:2.00)
A.用例及用例图√
B.包图及类图
C.剧情及序列图
D.组件图及部署图
解析:
A.用例及用例图
B.包图及类图√
C.剧情及序列图
D.组件图及部署图
解析:[解析] 在初步的业务需求描述已经形成的前提下,基于UML的需求分析过程的基本步骤为:利用用例及用例图表示需求;利用包图及类图表示目标软件系统的总体架构。

这两个步骤并没有时序关系,它们可以并行展开。

快速应用开发(Rapid Application Development,RAD)通过使用基于______的开发方法获得快速开发。

当______时,最适合于采用RAD方法。

(分数:2.00)
A.用例
B.数据结构
C.剧情
D.构件√
解析:
A.一个新系统要采用很多新技术
B.新系统与现有系统有较高的互操作性
C.系统模块化程度较高√
D.用户不能很好地参与到需求分析中
解析:[解析] 快速应用开发(RAD)是一个增量型的软件开发过程模型,强调极短的开发周期。

该模型是瀑布模型的一个“高速”变种,通过大量使用可复用构件,采用基于构件的建造方法加速信息系统的开发过程。

如果能够及时与用户进行交流和沟通,正确地理解需求并约束项目的范围,利用这种模型可以很快创建出功能完善的信息系统。

当系统模块化程度较高时,最适合于采用RAD方法。

反之,若一个系统难以模块化,则建造RAD所需构件就会有问题,如果需要高性能的指标,且该指标必须通过调整接口使其适应系统构件才能获得,使用RAD方法就有可能失败;开发者和客户必须在很短的时间完成一系列的需求分析,任何一方配合不当,都会导致RAD项目失败;RAD不适合技术风险很高的情况,当一个新应用要采用很多新技术或新软件要求与现有系统有较高的可互操作性时,项目也可能会失败。

15.以下关于软件开发方法的叙述,错误的是______。

(分数:1.00)
A.对于较为复杂的应用问题,适合采用形式化方法进行需求分析√
B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C.净室软件工程将正确性验证作为发现和排除错误的主要机制
D.净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
解析:[解析] 软件开发方法是指软件开发过程所遵循的办法和步骤,从不同的角度可以对软件开发方法进行不同的分类。

形式化方法提供了规格说明环境的基础,它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无岐义。

形式化方法的主要优越性在于:它能够数学地表述和研究应用问题及软件实现。

但是要求开发人员具备良好的数学基础。

用形式化语言书写的大型应用问题的软件规格说明往往过于细节化,并且难以被用户和软件设计人员所理解。

由于这些缺陷,因此形式化方法在目前的软件开发实践中并未得到普遍应用。

净室软件工程(CSE)是一种在软件开发过程中强调在软件中建立正确性的需要的形式化方法,可以开发较高。

相关文档
最新文档