首页 26考研 在职考研 0元畅学 25考研

新东方在线 > 考研 > 考研复习经验 > 考研专业课 > 正文

扫码加入训练营

牢记核心词

学习得礼盒

2015考研：软件工程专业模拟题--第10章型形式化方法习题

2014-08-08 18:04:31来源：新东方在线编辑整理

　　2015考研暑期复习已经过半，新东方在线小编为大家整理了软件工程专业的考研模拟题，希望考研考生们多学多练，顺利考研。

　　用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术。它一般用于一致性检查、类型检查、有效性验证、行为预测以及设计求精验证。软件工程这一章节的内容主要包括：形式化方法的概念、有限状态机、Petri出网、净室方法学等。

　　一、相关习题：

　　1. 形式化规约语言由哪几部分组成?

　　2.有限状态机有哪些优缺点?

　　3 用系统工程方法开发整个系统或产品需求，一旦功能已被分配给系统的软件元素，净室增量的流水线被初始化后将进行哪些工作?

　　4. 软件工程的净室方法为什么没有得到广泛的使用?

　　5 在客户/服务器模式的系统结构中有哪几种服务器.各实现什么样的功能?

　　二、参考答案：

　　1. 形式化规约语言通常由三个主要的成分构成：

　　(1)语法：定义用于表示规约的特定符号。

　　(2)语义：帮助定义用于描述系统的“对象的全域”。

　　(3)一组关系：定义确定出哪个对象真正满足规约的规则。

　　2. 有限状态机的优点在于简单易用，状态间的关系能够直观看到中时，其最大的缺点是：任何时刻系统只能有一个状态，无法表示并发性，不能描述异步并发的系统。另外，在系统部件较多时.状态数随之增加，导致复杂性显著增长。

　　3.将完成如下任务：

　　(1)增量计划。开发一个采用增量策略的项目计划，建立每个增量的功能、小，以及净室开发进度表。

　　(2)需求收集。为每个增量开发一个客户级需求的更详细的描述。

　　(3)盒结构规约。使用一个运用盒结构的规约方法来描述功能规约。

　　(4)形式化设计。使用意结构方法，净室设计是规约的自然的无缝的扩展。虽然，在两个活动间可进行清楚的区分，但规约(称为“黑盒”)是被递进地求精(在一个增量内)以成为类似于体系结构的和过程的设计(分别称为“状态盒”和“清晰盒%)

　　(5)正确性验证。净室小组对设计及代码进行一系列严格的正确性验证活动。正确性验证的第一层次通过应用一组“正确性问题”来进行，如果这没有证明规约是正确的，则使用更形式化的验证方法。

　　(6)代码生成、检查和验证。以某种专门语言表示的盒结构规约被转换为合适的程序设计语言。然后，使用标准的走查或检查技术来保证代码和盒结构的语义相符性，以及代码的语法正确性。然后，对源代码进行正确性验证。

　　(7)统计性测试计划。分析软件的项目级使用情况，计划和设计一组执行用途的“概率分布”的测试用例。

　　(8)统计性使用测试。由于对计算机软件进行彻底测试几乎是不可能的，因此，总需要设计有限数量的测试用例。统计性使用技术执行一系列由特定对象的所有用户的所有可能的程序执行的统计样本所导出的测试。

　　(9)认证。一旦完成验证、检查和使用测试.则开始进行增量集成前的认证工作

　　4 原因在于：

　　(1)净室方法学太理论、太数学化，以至难于在真实的软件开发中使用。

　　(2)不需要进行单元测试，而是进行正确性验证和统计质量控制，与当前大多数软件开发方式背离。

　　(3)软件开发产业的成熟度。净室过程的使用需要在整个生命周期阶段定义的过程的严格的应用，因为大多数软件企业的运作还处于特定的阶段(级别)，因此，还没有准备好应用哪些技术。

　　5 在客户/服务器结构中，位于另一个计算机上层的计算机称为服务器，而在下层的计算机称为客户机。客户请求服务.而服务器提供服务。服务器的种类有：

　　(1)文件服务器。客户请求在某文件中的特定记录.服务器通过网络传输这些记录到客户。

　　(2)数据库服务器。客户发送结构化查询语言(sQL)请求到服务器，这些是作为消息在网络上传输。服务器处理sQL请求并找到请求的信息，仅将结果传送回客户。

　　〔3)事务服务器。客户发送在服务器端调用远程过程的请求，远程过程可以是一组sQL语句。当请求导致远程过程的执行并将结果传输回客户时，发生一个事务。

　　(4)组件服务器。当服务器提供一组应用，它们使得通信能够在客户间使用文本、图像、公告板、视频，以及其他表示进行，则存在一个组件体系结构。

　　八月伊始，部分高校2015年考研招生简章已经发布，请广大15年考生关注，预计到8月底9月初，2015年全国硕士研究生招生简章会陆续发布完成，新东方在线小编第一时间跟踪发布，请大家收藏关注！另有研究生专业目录、考研参考书等最新考研信息，帮助考生及时了解目标院校招生政策及信息。

本文关键字: 2015考研 软件工程 考研

考研英语核心词汇营

背词+听课+练习+督学，学习得礼盒

更多资料

添加班主任领资料

添加考研班主任
免费领取考研历年真题等复习干货资料

  • 1.打开手机微信【扫一扫】，识别上方二维码；
  • 2.添加班主任，可领取学习资料。
更多>>
更多内容
26考研 在职研 AI择校 去测评 领资料

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】，识别上方二维码；
2.点击【关注公众号】，获取资料大礼包。

资料下载表单

历年考研真题及答案解析下载

英语一 英语二 政治 数学一 数学二 数学三 西医综合 教育综合 心理学综合
立即下载
近10年考研真题及答案免费下载
更多>>
更多公开课>>
更多>>
更多资料
我要
反馈 返回
首页
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10