软件形式化方法-模拟题-3
2023年系统架构设计师考试模拟练习题及答案
2023年系统架构设计师考试模拟练习题及答案模拟练习题（一）以下关于软件开发方法的叙述，错误的是（）。
A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现C.净室软件工程将正确性验证作为发现和排除错误的主要机制D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试【解析】正确答案：A。
软件开发方法是指软件开发过程所遵循的办法和步骤，从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程做严格处理和论证，适用于那些系统安全级别要求极高的软件的开发。
形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。
但是它要求开发人员具备良好的数学基础。
用形式化语言书写的大型应用问题的软件规格说明往往过于细节化，并且难以为用户和软件设计人员所理解。
由于这些缺陷，形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程（Cleanroom Software Engineering，CSE）是软件开发的一种形式化方法，可以开发较高质量的软件。
它使用盒结构规约进行分析和建模，并且将正确性验证作为发现和排除错误的主要机制，使用统计测试来获取认证软件可靠性所需要的信息。
CSE强调在规约和设计上的严格性，还强调统计质量控制技术，包括基于客户对软件的预期使用测试。
模拟练习题（二）结构化布线系统分为六个子系统，其中水平子系统（）。
A.由各种交叉连接设备以及集线器和交换机等设备组成B.连接了干线子系统和工作区子系统，C.由终端设备到信息插座的整个区域组成D.实现各楼层设备间子系统之间的互连【解析】正确答案：B。
水平子系统是指的，从楼层管理间到信息插口这一段，它连接了垂直干线子系统与工作区子系统。
模拟练习题（三）以下关于网络控制的叙述，正确的是（）。
A.由于TCP的窗口大小是固定的，所以防止拥塞的方法只能是超时重发B.在前向纠错系统中，当接收端检测到错误后就要请求发送端重发出错分组C.在滑动窗口协议中，窗口的大小以及确认应答使得可以连续发送多个数据D.在数据报系统中，所有连续发送的数据都可以沿着预先建立的虚通路传送【解析】正确答案：C。
软件工程模拟习题及答案
软件工程模拟习题及答案一、单选题（共40题，每题1分，共40分）1、下列哪项是无监督算法A、PCAB、决策树C、贝叶斯算法D、线性回归正确答案：A2、关于机器学习中预处理步骤，下列哪一项是正确的A、不同数据得到的预处理结果相同B、各种任务处理方式都是一样C、不必可缺的一部分D、简单任务可以不做正确答案：C3、下列哪一项不是卷积神经网络的典型代表A、RCNNB、LSTMC、ALEXNETD、VGG正确答案：B4、计算机中的执行过程是_________。
①取指令②执行指令③修改指令计数器④指令译码A、①④②③B、①②③④C、①③②④D、④③②①正确答案：A5、逻辑回归算法通常使用下列哪种方法求解A、统计分析B、梯度下降迭代优化C、相识度计算D、直接求解正确答案：B6、下列哪一项不是数据预处理的步骤A、数据标准化B、模型调参C、离散点过滤D、缺失值填充正确答案：B7、无论是哪一种Web服务器，都会受到HTTP协议本身安全问题的困扰，这样的信息系统安全漏洞属于：（）A、以上都不是B、运行型漏洞C、开发型漏洞D、设计型漏洞正确答案：B8、在一个有8个int数据的数组中，随机给出数组的数据，找出最大和第二大元素一定需要进行（）次比较A、11B、9C、8D、10正确答案：B9、下列哪种算法更适合做图像建模A、CNNB、贝叶斯算法C、LSTMD、决策树正确答案：A10、大数据的起源是A、互联网B、金融C、电信D、公共管理正确答案：A11、A、B、C、D、E、F依次入栈，其出栈顺序为B、D、C、F、E、A，则该栈最小容量为A、3B、6C、5D、4正确答案：A12、下列关于树模型的解释错误的是A、只适用于分类模型B、适合进行可视化展示C、集成算法中的基础模型D、擅长对特征进行优劣判断正确答案：A13、系统死锁的可能的原因是A、进程释放资源B、进程死循环C、程序内存访问越界D、资源循环等待正确答案：D14、进程由执行状态到阻塞状态的原因可能是（）。
软考模拟试题及答案解析
软考模拟试题及答案解析一、单选题1. 在软件开发过程中，需求分析阶段的主要任务是什么？- A. 编写代码- B. 制定项目计划- C. 确定软件的功能需求- D. 进行软件测试答案：C解析：需求分析阶段是软件开发过程中的第一步，其主要任务是确定软件系统应该做什么，即明确软件的功能需求。
2. 下列哪个选项不是面向对象编程的特点？- A. 封装性- B. 继承性- C. 多态性- D. 结构化答案：D解析：面向对象编程的特点包括封装性、继承性和多态性，而结构化是面向过程编程的特点。
二、多选题1. 以下哪些是敏捷开发的核心原则？- A. 个体和互动高于流程和工具- B. 客户合作高于合同谈判- C. 可工作的软件高于详尽的文档- D. 遵循计划高于适应变化答案：A、B、C解析：敏捷开发的核心原则强调的是个体和互动、客户合作以及可工作的软件，而不是遵循计划。
三、判断题1. 在软件测试中，黑盒测试关注的是程序的内部逻辑结构。
- 对- 错答案：错解析：黑盒测试关注的是程序的功能，而不是内部逻辑结构，它通过程序的输入输出来测试程序的功能。
2. 软件工程的目标是生产出高质量的软件。
- 对- 错答案：对解析：软件工程的目标确实是生产出高质量的软件，这包括软件的可靠性、可维护性、可用性等。
四、简答题1. 请简述软件危机的概念及其主要表现。
答案：软件危机是指在软件开发过程中遇到的一系列问题，如成本超支、进度延误、质量低下等。
主要表现包括：- 项目难以控制，经常超时、超预算。
- 软件产品的质量难以保证，存在大量的缺陷。
- 软件维护困难，成本高昂。
- 软件难以适应用户需求的变化。
解析：软件危机是软件开发过程中普遍存在的问题，它严重影响了软件的开发效率和质量。
五、案例分析题1. 某项目组在开发过程中遇到了需求不断变更的问题，导致项目进度严重延误。
请分析可能的原因并给出解决方案。
答案：可能的原因：- 需求分析不充分，导致需求不明确。
软件设计模式测试题
软件设计模式测试题软件设计模式是一种解决问题的方法论，它提供了一种在软件开发过程中重用可靠、灵活和可扩展代码的方式。
在本文中，我们将介绍一些常见的软件设计模式，并分析它们在实际应用中的使用场景和优点。
一、单例模式单例模式是一种保证在整个应用程序中只存在一个实例对象的设计模式。
它常用于控制资源的访问权限，或者在多线程环境下保证数据的同步性。
在实际应用中，单例模式可以用于创建数据库连接、日志管理器等场景，它大大降低了系统开销，并且易于使用和维护。
二、观察者模式观察者模式是一种对象之间一对多的关系，当一个对象的状态发生变化时，所有依赖于它的对象都会得到通知并自动更新。
在GUI编程中，观察者模式常用于实现事件处理和界面更新。
比如，当用户点击按钮时，系统通过观察者模式将事件通知给相关的处理程序，从而实现按钮的功能。
三、工厂模式工厂模式是一种将对象的创建和使用分离的设计模式。
通过使用工厂类，客户端无需直接创建对象，而是通过调用工厂类的方法来获取所需的对象实例。
工厂模式可以根据不同的参数来创建不同的对象，极大地提高了代码的可扩展性和可维护性。
例如，我们可以根据用户的不同需求创建不同类型的产品对象，而无需修改客户端代码。
四、装饰器模式装饰器模式是一种动态地为对象添加额外功能的设计模式。
它通过创建一个装饰器类，将要装饰的对象传递给装饰器类的构造函数，然后通过组合的方式来增加对象的功能。
装饰器模式可以在运行时动态地扩展对象的功能，而无需修改其原始类。
这在需要为不同的用户或特定情况定制对象时非常有用。
五、适配器模式适配器模式是一种将两个不兼容接口进行转换的设计模式。
它通过创建一个适配器类，将一个类的接口转换成客户端所期望的另一个接口。
适配器模式可以在不改变现有代码结构的情况下复用已有的类，提高了系统的灵活性和可复用性。
比如，在升级系统时，我们可以通过适配器模式兼容旧版本的接口。
总结：在软件设计过程中，选择合适的设计模式是非常重要的。
软件工程复习题及参考答案3(EF)
《软件工程》课程复习资料一、填空题：1.基于计算机系统总体可靠性与以下三个方面紧密关联：硬件可靠性、软件可靠性和。
2.面向对象的软件过程是以为基础，利用特定的软件工具直接完成从对象客体的描述到软件结构之间的转换。
3.需求分析的任务主要有两个：通过对问题及环境的理解、分析和综合，建立分析模型；在完全弄清用户对软件系统的确切要求的基础上,用把用户的需求表达出来。
4.需求开发又分为可行性研究、需求导出和分析、和需求验证。
5.对象包含两个基本的因素，和方法。
6.数据流图包括以下两种类型：变换型数据流图和。
7.系统设计阶段的输出结果是适应应用软件要求的、类间关系以及子系统的规格说明。
8.软件测试是为了发现而执行程序的过程。
9.软件测试是根据软件开发各阶段的规格说明和程序的内部结构而精心设计一批，并利用它们去运行程序，以发现程序错误的过程。
10.软件变更可以是修改代码错误的简单变更、更正设计错误的较大范围的变更、对描述错误进行修正或者增加新需求的重大改进。
软件变更可以考虑以下几个策略：、体系结构转换、软件再工程等策略。
11.软件维护性是软件的内在固有属性，它是的重要组成部分。
12.质量评审和自动化的软件评估是质量控制的两种方式。
评审活动主要包括、进展评审和质量评审等几种不同类型。
二、单项选择题：1.关于软件的形式化定义，下列哪种说法不正确？ [ ]A.能够完成预定功能和性能的可执行指令B.使得程序能够适当地操作信息的数据结构C.软件成本相当昂贵D.描述程序的操作和使用的文档2.下列哪种说法不是软件危机的表现？ [ ]A.对软件开发成本和进度的估算很不准确B.需要有大量的文档C.用户对完成的软件很不满意D.软件开发生产效率低下3.下列哪项不属于软件系统需求？ [ ]A.功能需求B.非功能需求C.非领域需求D.领域需求4.面向对象方法的主要优点不包括 [ ]A.稳定性好B.系统可长期使用C.可重用性好D.符合人类习惯的思维方法5.软件重用是提高软件生产率的重要手段，重用性越高，则软件生产率越高,重用性不包括下列哪种类型[ ]A.需求分析重用B.代码重用C.设计结果重用D.分析结果重用6.面向对象中，模块又称构件，下列哪个不是其基本属性？ [ ]A.功能B.结构C.状态D.逻辑7.对象的实现描述中不包括以下哪个信息？ [ ]A.由一组消息和注释组成的协议描述B.对象名及所属对象类C.私有数据结构的每一数据项及其类型D.每个操作的过程性描述或指向这样一个过程性描述的指针8.Grenford J.Myers就软件测试目的提出的观点不包括以下哪项？ [ ]A.测试是程序的执行过程，目的在于发现错误B.证明软件的功能和性能与需求说明相符合C.一个好的测试用例在于能发现至今未发现的错误D.一个成功的测试是发现了至今未发现的错误的测试9.黑盒测试又称为 [ ]A.结构测试B.代码测试C.功能测试D.路径测试10.纠错技术主要是指定位程序错误采用的工具和手段，常用的定位错误方法不包括 [ ]A.插入打印语句B.设置断点C.根据结果推理D.掩蔽部分程序11.为了识别和纠正软件错误、改正软件性能上的缺陷、排除实施中的误使用，应当进行的诊断和改正错误的过程，就叫做 [ ]A.完善性维护B.适应性维护C.改正性维护D.预防性维护12.( )和自动化的软件评估是质量控制的两种方式，其中前者是由一组人员对软件、文档编制和软件制作过程进行评审。
软件设计模式与应用复习 题集附答案
软件设计模式与应用复习题集附答案软件设计模式是软件工程领域的重要概念之一，它为程序员提供了一种可以重用的解决方案。
通过使用设计模式，程序员可以更加高效地开发出可靠且可维护的软件系统。
本文将对软件设计模式与应用进行复习，并附带一些题目和答案，以便读者检验自己的掌握程度。
1. 设计模式的概念及分类设计模式是指在软件设计中常见的问题，并提供了相应的解决方案。
根据其目的和使用方式，设计模式可以分为三类：创建型模式、结构型模式和行为型模式。
- 创建型模式：主要关注对象的创建过程，包括简单工厂模式、工厂方法模式、抽象工厂模式、建造者模式和原型模式。
- 结构型模式：主要关注对象之间的组合关系，包括适配器模式、装饰器模式、代理模式、外观模式、桥接模式、组合模式和享元模式。
- 行为型模式：主要关注对象之间的通信和协作方式，包括策略模式、模板方法模式、观察者模式、迭代器模式、责任链模式、命令模式、备忘录模式、状态模式、访问者模式、中介者模式和解释器模式。
2. 设计模式的使用场景设计模式可以在特定的场景中被应用，以解决相应的问题。
- 简单工厂模式：当需要根据输入参数来决定创建哪个具体对象时，可以使用简单工厂模式。
- 观察者模式：当一个对象的改变需要通知其他对象进行相应处理时，可以使用观察者模式。
- 模板方法模式：当要定义一组算法中的某个步骤，并且允许子类为该步骤提供实现细节时，可以使用模板方法模式。
- 代理模式：当需要为一个对象提供一个代理，以控制对象的访问时，可以使用代理模式。
- 中介者模式：当多个对象之间的交互需要进行解耦时，可以使用中介者模式。
3. 题目与答案以下是一些与软件设计模式与应用相关的题目，附带了答案供读者参考。
题目一：简述工厂方法模式的原理及应用场景。
答案一：工厂方法模式是一种创建型模式，它通过定义一个用于创建对象的接口，由子类决定具体实例化的对象类型。
工厂方法模式可以在不暴露具体创建逻辑的情况下，实现对象的实例化。
关于软件形式化方法
关于软件形式化方法软件形式化方法是指一种基于严格数学的软件开发方法，它使软件开发者能够使用严格的数学符号来解释、开发和验证基于计算机的系统。
形式方法模型的主要活动是生成计算机软件的形式数学规范。
形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。
不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如z和vdm），有的则以时态逻辑为基础。
形式化方法需要形式化规约说明语言的支持。
根据说明目标软件系统的方式，形式化方法可以分为以下两类：面向模型的形式化方法。
面向模型的方法通过构建数学模型来解释系统的行为。
面向属性的形式化方法。
面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。
而根据表达能力，形式化方法又可分为以下五类：1、基于模型的方法：通过明确定义状态和操作来建立一个系统模型（使系统从一个状态转换到另一个状态）。
用这种方法虽可以表示非功能性需求（诸如时间需求），但不能很好地表示并发性。
如：z语言，vdm，b方法等。
2、基于逻辑的方法：用逻辑描述系统预期的性能，包括底层规约、时序和可能性行为。
采用与所选逻辑相关的公理系统证明系统具有预期的性能。
用具体的编程构造扩充逻辑从而得到一种广谱形式化方法，通过保持正确性的细化步骤集来开发系统。
如：itl（区间时序逻辑），区段演算（ dc），hoare 逻辑，wp演算，模态逻辑，时序逻辑， tam（时序代理模型），rttl（实时时序逻辑）等。
3、代数方法：通过将未定义状态下不同的操作行为相联系，给出操作的显式定义。
与基于模型的方法相同的是，没有给出并发的显式表示。
如：obj， larch族代数规约语言等；4、过程代数方法：通过限制所有容许的可观察的过程间通信来表示系统行为。
此类方法允许并发过程的显式表示。
如：通信顺序过程（ csp），通信系统演算（ccs），通信过程代数（ acp），时序排序规约语言（lotos），计时csp(tcsp），通信系统计时可能性演算（tpccs）等。
软件形式化方法期末考试复习要点v
第1章绪论1.什么是形式化方法？（1）为了克服自然语言和程序设计语言描述规格说明的缺陷，人们提出了一种新的软件开发范型，即通过形式化、规格化的数学力量，用描述“做什么”来取代“怎么做”，这就是形式方法。
其基本思想是对系统建立一个数学模型，研究和提供一种基于数学的或形式语义学得规格说明语言，用这种语言严格地描述所开发的软件功能，并由自动程序设计的加工模型来得到可执行的代码。
（2）形式化方法是抑郁数学方法来描述目标软件系统性质的一门技术，用严格的数学符号和数学法则对目标软件系统的结构与行为进行有效的综合、分析和推理，它为系统的说明、开发和验证提供了一个框架，以利于发现目标软件系统需求的不一致性、不完整性等情况。
2.软件规格说明有哪两种抽象？抽象是一种很重要的技术，软件规格说明有两种抽象：过程抽象和数据抽象。
过程抽象描述的是软件系统要实现的功能，二不是如何实现其功能的具体步骤；数据抽象就是在规格说明中使用集合、关系、映射、序列、包等抽象的数学结构，而不必担心这些结构最终是如何实现的。
3.形式化方法的优缺点？优点：形式化规格说明是精确的；由误解引起的错误减少；规格说明有利于系统实现；能够对形式规格说明进行正确性证明。
缺点：形式规格说明难以阅读；形式化发放并不能对客观世界的所有方面进行模型化；形式规格说明的正确性证明费事费力；形式方法也不能避免出错；尚未出现支持形式方法全过程的软件环境、4.什么是Z语言？（1）Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言、称Z语言为形式语言是由于它采用了严格的数学理论，这样可以产生简明、精确、无歧义且可证明的规格说明，同其他规格说明语言相比，Z语言一个主要的特点是可以对Z规格说明进行推理和证明，这种特点使得软件开发人员或用户能够很快找出规格说明的不一致、不完整之处，使他们提高对软件的信心。
（2）将Z语言称为规格说明语言的关键思想是把软件开发中的需求说明阶段和软件设计阶段分开。
软件开发的形式化方法
① 开发成本昂贵 ② 项目进度难控 ③ 质量无法保证 ④ 修改维护困难
-7-
开发成本Байду номын сангаас贵
1968年，美国花费于软件的投资高达60亿美元，有些系统，特别是军 用系统，软费用要高出硬件费用好几倍，例如美国全球军事指挥控制 系统的计算机硬件费用为1亿美元，而软件费用高达7.2亿美元。
人工作，往往不是缩短时间进度，而是会延缓进度。
-9-
项目进度难控
对于一项复杂的任务，通常难于通过增加人力来缩短开发 时间。Brook提出的法则“在已拖延的软件项目上增加入 力只会使其更难按期完成” 。这对于一般的工业产品来 说是难于想象的！
1995年，美国共取消810亿美元的软件项目，其中31%未完 取消，53%的项目延长一半时间，9%按期完成且不超期。 1998年，美国企业应用项目不成功比率75%,其中28%的项 目取消，40%无限拖长且资金超出预赛
新的错误发现、运行环境的改变、用户提出新要求，软件需不断修改 没有遵循标准、没有准确的文档，维护困难巨大。
-12-
软件危机的原因：复杂性
复杂性
规模的复杂性 结构的复杂性 环境的复杂性 领域的复杂性 交流的复杂性
-13-
软件规模的复杂性
随着计算机应用的日益广泛，需要开发的软件规模越来越庞大 。以美国宇航局的软件系统为例：1963年，水星计划的软件系 统约有 200万条指令；1967年，双子星座计划系统约为400万 条指令；1973年，阿波罗计划系统达到1000万条指令；1979年 ，哥伦比亚航天飞机系统更是达到了4000万条指令。
1980年美国政府的财政年度当中，计算机系统方面(软，硬件与服务) 共耗资达570亿美元，其中320亿美元(占总数的56％)用于计算机软件 方面(与同年的美国汽车行业进行简单的比较，美国是当时的世界第 一汽车生产大国，汽车的年销售量为900万辆，总的销售额仅为720亿 美元〕。
软件测试3
无效覆盖-例2
DIMENSION C(I., 10)
(21) DIMENSION C(10, 1J) (23) DIMENSION D(-65535:1) (25) DIMENSION D(65536) (26) DIMENSION D(4:3) (31) DIMENSION D(A(2):4) (37) DIMENSION D(.:4) (38)
边值分析的基本思想和关键 假设
边值分析的基本思想是使用在最小值、略
高于最小值、正常值、略低于最大值和最 大值处取输入变量的值。原因是编程中的 大量错误都是在处理边界问题时引入的。 边值分析的关键假设是“单缺陷”假设。 这种假设认为，失效很少是由于两个或多 个缺陷的同时发生引起的。
27因果图法例分析原因和结3第二列字符是数字结果23给出信息m28因果图法例因果图29因果图法例约束30因果图法例判定表和测试31正交实验测试法正交法方法的思一个例子正交实验测试法的过程32正交法方法的思想把软件测试看成是软件实验把测试结果的优劣看成实验的指标把输入条件称为实验的因子把输入条件的选择即对实验因子的影响看作状态整个测试过程就成为从大量的实验点中挑选出适量的有代表性的点使因子和状态均匀分配
4
0 4
5
5 0
26
27 28
3
-3 -3
4
-4 4
-5
5 -5
35
36 37
1
3
4
4
2
1
44
45
3.5 4.5 5.5 18 3 29
4
20
0
0
5
29
3
-4
-5
38
等价类划分-例2
软件评测师模拟题及答案解析第三套
软件评测师模拟题及答案解析第三套1、针对用户手册的测试，（43）描述不正确。
A.准确地按照手册的描述使用程序B.检查每条陈述C.修改错误设计D.查找容易误导用户的内容2、以下关于功能测试用例的意义的叙述，正确的是（38）。
①避免盲目测试并提高测试效率②令软件测试的实施重点突出、目的明确③在回归测试中无需修正测试用例便可继续开展测试工作④测试用例的通用化和复用化使软件测试易于开展A.①、②、③B.①、③c.②、③D.①、②、④3、软件（22）_的提高，有利于软件可靠性的提高。
A.存储效率B.执行效率C.容错性D.可移植性4、关于对第三方测试的描述，正确的观点是（52）。
A.既不是用户，也不是开发人员所进行的测试就是第三方测试B.第三方测试也称为独立测试，是由相对独立的组织进行的测试C.第三方测试是在开发方与用户方的测试基础上进行的验证测试D.第三方测试又被称为B测试5、系统响应时间和作业吞吐量是衡量计算机系统性能的重要指标。
对于一个持续处理业务的系统而言，其（4）。
A.响应时间越短，作业吞吐量越小B.响应时间越短，作业吞吐量越大C.响应时间越长，作业吞吐量越大D.响应时间不会影响作业吞吐量6、统一过程（UP）是一种用例驱动的迭代式增量开发过程，每次迭代过程中主要的工作流包括捕获需求、分析、设计、实现和测试等。
这种软件过程的用例图（Use Case Diagram）是通过（19）得到的。
A.捕获需求B.分析C.设计D.实现7、软件内部/外部质量模型中，以下（66）_不是功能性包括的子特性。
A.适合性B.准确性C.稳定性D.互操作性8、在CPU与主存之间设置高速缓冲存储器（Cache）的目的是为了（2）。
A.扩大主存的存储容量B.提高CPU对主存的访问效率C.既扩大主存容量又提高存取速度D.提高外存储器的速度分析9、针对以下c语言程序段，对于（MaxNum，Type）的取值，至少需要（62）个测试用例能够满足判定覆盖的要求。
软件工程模拟试卷一
解：
模拟试卷一 7. 对下列子程序进行调试： procedure example(y,z：real；var x：real) begin if (y>1) and (z=0) then x:=x/y ； if (y=2) or （x=l) then x:=x+l； end. 该子程序接受x, y, z的值，并将计算结果x的值 返回给调用程序。 答题要求： (1)画出流程图。 (2)用白盒法设计测试用例，并写出它所满足的 是何种覆盖标准、预期结果以及路径。
模拟试卷一 6．数据库设计的核心问题是什么?
参考答案： 数据库设计的核心问题是如何建立一个 合理的数据模式。
模拟试卷一 3．假设对顾客的订货单按如下原则处理： 将顾客的信用度分三个档次： 欠款时间不超过30天； 欠款时间超过30天但不超过100天； 欠款时间超过100天。 对于上述三种情况，分别根据库存情况来决定 对顾客订货的态度。
10. 软件工程学的最终目标， 较高质量 的软件。 是以较低的成本研制具有_________
模拟试卷一 三、简答题 1．何谓软件的“健壮性”?
参考答案： 软件“健壮性”是反映软件质量的一个指标。 意为：即使前提条件不符合规格也能继续 合理运行的程度。
模拟试卷一 2．简要说明“需求说明书”的作用。 参考答案： 需求说明书主要有以下三个作用： * 作为用户和软件人员之间的合同，为双方 相互了解提供基础。 * 反映出问题的结构，可以作为软件人员进 行设计和编写的基础。 * 作为验收的依据，即作为选取测试用例和 进行形式验证的依据。
T F
模拟试卷二 解:
开发方法比较
必须搞清的几个问题：
1. 结构化软件开发方法的思想和有关技术。 （试对软件开发的结构化方法作简要论述） 答：结构化方法包括结构化系统分析，结构化 系统设计以及结构化程序设计。 结构化分析方法（SA）是软件项目开发的一种 分析方法，它根据软件项目内部数据传递、变 换的关系，遵循自顶向下逐步求精的指导思想，
软件开发中的形式化方法
3、导出检测报告：将验证结果以报告的形式导出，指出软件系统中的缺陷 和漏洞。
4、修复缺陷：根据报告指出的缺陷和漏洞，对软件系统进行修复和优化。
软件自适应UML建模和形式化验证方法具有以下优点：
1、提高开发效率：通过自动化映射和自动化更新，减少开发人员的工作量， 提高开发效率。
2、增强软件质量：通过形式化验证方法，可以有效地发现软件系统中的缺 陷和漏洞，提高软件质量。
软件开发中的形式化方法
目录
01 一、形式化方法的定 义和作用
03
三、常见的形式化方 法
02
二、实际项目中的运 用
04 参考内容
在软件开发中，形式化方法是一种通过严格定义、规范和证明来保证软件质 量和可靠性的方法。这种方法通过对软件开发全生命周期的各个环节进行形式化 描述和验证，以实现软件开发的规范化和标准化。本次演示将介绍形式化方法的 概念、实际应用以及常见的形式化方法。
参考内容
随着信息技术的快速发展，软件安全问题越来越受到人们的。安全软件体系 结构作为保障软件安全的关键因素，其设计和开发过程的重要性不言而喻。形式 化方法是一种基于数学模型的软件开发方法，可以将需求、设计、验证等软件开 发环节形式化地表达出来，提高软件开发的严谨性和可靠性。因此，研究安全软 件体系结构的形式化方法具有重要意义和应用价值。
软件工程方法的特点主要表现在以下几个方面：
1、过程管理：软件工程方法提供了一套完整的开发流程，从需求分析到设 计、编码、测试和维护，每个阶段都有明确的任务和目标。
2、需求分析：软件工程方法要求在需求分析阶段充分了解用户需求，确保 开发出的软件能够满足用户需求。
3、设计模式：软件工程方法注重设计模式的运用，针对不同的问题和需求， 采用合适的设计模式可以使代码更加清晰、易于维护。
第03讲：形式化方法及SA的形式化描述
转换规则:
当前状态 and 事件 and 谓词
下一个状态
FSM 图的一般表示方式
a
q0
q1
a b
q2
开 灯
按下关 按下开
c
关
q3
节点——状态q
弧
——输入k后状态的变化，由状态qi指向qj的
变迁函数表示为：
qi , k ) q j
有限状态机实例：电梯控制系统
m层楼n部电梯的大楼服务系统: 每个电梯有一组m个按钮,每层用一个。当按下并让 电梯到达相应的层时,这些按钮灯亮，当电梯到达 相应层时灯灭 除了第一层和顶层,每一层都有两个按钮(请求电梯 向上、向下)，按下时灯亮,电梯到达时灯灭 没有对电梯请求时,电梯停留在当前楼层,门关闭 考虑电梯正常运行情况，电梯处于两个楼层之间时不 会停止，并且不会改变运动方向
模型方法的安全性质
动作类型表示:
〈动作名〉WHEN 〈条件〉DO〈表达式〉
可表示为三元组: ( s, a, s’ ) 其中 s为状态,由 <条件> 决定 a为<动作名> s’由<表达式>对状态变量赋值决定
模型方法的安全性质（例）
Ui请求R : Request (i) WHEN True Do req[i]:=True
基于模型的形式化方法
有限状态机Leabharlann Petri网 Z方法基于模型的方法
通过模型表示系统应满足所定义的行为集合的性质, 具体包括：安全性质 和 活动性质 (1)安全性质 给出一个性质，对系统的所有执行应保持成立。可 用时态逻辑表示安全性： P 状态公式，表示性质 时态算子，表示“必然” 例如：对于命题P：火星上有生命，那么 P表示火 星上必然有生命
软件形式化方法-模拟题-3
软件形式化方法-模拟题-3学习中心_________姓名_____________ 学号西安电子科技大学网络教育学院模拟试题三《软件形式化方法》期末考试试题（120分钟）题号一二三四五六七总分题分得分一、填空题。
（20分）1. 软件危机是指在计算机软件的过程中所遇到的一系列严重的问题，应对软件危机的方式分为两种方法：和。
对于软件开发组织和管理的规范化方法中，主要研究、和三个要素。
2. 形式化方法研究如何把（具有清晰数学基础的）（描述形式、技术和过程等）融入软件开发的各个阶段；包括、形式化验证和程序精化三种活动。
形式化验证主要技术包含和；程序精化是将与相结合，研究从抽象的推演出具体的面向计算机的。
3. 模式是Z语言规格中一个重要的元素，模式是由、和组成。
4. Larch方法是软件系统规格的一种；Larch方法的程序规格包括和与目标语言相关的两个部分。
二、利用有限状态机描述“AB协议”。
（15分）AB协议包含发送端和接收端两个实体。
发送端协议实体从发送方用户获取一个报文，将序号寄存器值赋给报文，然后向接收端协议实体发出报文，发送方发出报文之后启动超时时钟，等待认可报文。
如果在给定的时间内未收到认可报文，则重发报文；如果收到认可报文，其序号与发出报文序号相同，则发送端实体从发送方用户获取下个报文。
接收端协议实体在收到报文之后，如果报文无错误，则想发送端实体发送认可报文，然后将报文递交给接收方用户；如果接收的报文有错误或者序号不正确，则丢失报文。
假定所用通道不会中断；报文重复n次后最终能够被接收；认可报文只要发出就能正确收到；报文不会损坏；序号寄存器初始化为0 。
三、构造下图所示Petri网的覆盖树。
（10分）四、利用CSP对“生产者-消费者”系统进行规格。
（10分）五、逻辑演算证明。
（15分）（1）?(Q∨R) ∧(P?Q)├?P（2）(P?(Q?S)) ∧ (?R∨P) ∧Q├ R→S（3）($x)P(x)?("x)(P(x)úQ(x)?R(x)), ($x)P(x), ($x)Q(x)├ R(a)ùR(c)六、如图中所示的Kripke结构，利用标号算法对公式进行模型检验。
2024年秋季全国自考软件工程模拟试题含解析
2024年秋季全国自考软件工程模拟试题一、单项选择题1、下列不属于创建一个系统的类图步骤是______。
A．模型化待建系统中的概念，形成类图中基本元素B．模型化待建系统中的各种关系，形成该系统的初始关系C．模型化系统中的接口，不需给出该系统的最终类图D．模型化逻辑数据库模式2、在常见的软件开发模型中，主要用于支持面向对象技术软件开发的是______。
A．喷泉模型B．螺旋模型C．增量模型D．瀑布模型3、集成化能力成熟度模型(CMMI)针对每个过程域设定了能力等级，其中最高级为______。
A．3级B．4级C．5级D．6级4、指一个模块内部各成分之间相互关联程度的度量是______。
A．耦合B．内聚C．扇入D．扇出5、RUP中，用于捕获系统语境中的一些重要领域对象，其中领域对象表达系统工作环境中存在的事物或发生的事件，领域模型一般采用______。
A．PAD图B．流程图C．类图D．N-S图6、软件结构化设计中，支持“自顶向下逐步求精”的详细设计，并且能够以一种结构化方式严格地控制从一个处理到另一个处理的转移，这个详细设计工具是______。
A．PAD图B．程序流程图C．DFD图D．N-S图7、在教师科研方案中规定对教授、副教授和讲师分别计算分数，做相应的处理，则根据黑盒测试中的等价类划分技术，下列划分正确的是______。
A．3个有效等价类，3个无效等价类B．3个有效等价类，1个无效等价类C．1个有效等价类，1个无效等价类D．1个有效等价类，3个无效等价类8、RUP的迭代、增量式开发过程中，需要估算成本、进度，并能够减少次要的错误风险，至少需要完成______。
A．初始阶段B．精化阶段C．构造阶段D．移交阶段9、下列不属于需求规约的基本性质是______。
A．可重复的B．重要性和稳定性程度C．完整的D．一致的10、在建模过程中，可用以描述加工的工具是______。
A．数据流B．判定树C．数据字典D．数据存储11、结构化分析方法给出了一种能表达功能模型的工具是______。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
学习中心_________
姓名_____________ 学号
西安电子科技大学网络教育学院
模拟试题三
《软件形式化方法》期末考试试题
（120分钟）
题号一二三四五六七总分
题分
得分
一、填空题。
（20分）
1. 软件危机是指在计算机软件的过程中所遇到的一系列严重的问题，应对软件危机的方式分为两种方法：和。
对于软件开发组织和管理的规范化方法中，主要研究、和三个要素。
2. 形式化方法研究如何把（具有清晰数学基础的）（描述形式、技术和过程等）融入软件开发的各个阶段；包括、形式化验证和程序精化三种活动。
形式化验证主要技术包含和；程序精化是将与相结合，研究从抽象的推演出具体的面向计算机的。
3. 模式是Z语言规格中一个重要的元素，模式是由、和
组成。
4. Larch方法是软件系统规格的一种；Larch方法的程序规格包括和与目标语言相关的两个部分。
二、利用有限状态机描述“AB协议”。
（15分）
AB协议包含发送端和接收端两个实体。
发送端协议实体从发送方用户获取一个报文，将序号寄存器值赋给报文，然后向接收端协议实体发出报文，发送方发出报文之后启动超时时钟，等待认可报文。
如果在给定的时间内未收到认可报文，则重发报文；如果收到认可报文，其序号与发出报文序号相同，则发送端实体从发送方用户获取下个报文。
接收端协议实体在收到报文之后，如果报文无错误，则想发送端实体发送认可报文，然后将报文递交给接收方用户；如果接收的报文有错误或者序号不正确，则丢失报文。
假定所用通道不会中断；报文重复n次后最终能够被接收；认可报文只要发出就能正确收到；报文不会损坏；序号寄存器初始化为0 。
三、构造下图所示Petri网的覆盖树。
（10分）
四、利用CSP对“生产者-消费者”系统进行规格。
（10分）
五、逻辑演算证明。
（15分）
（1）Ø(Q∨R) ∧(P®Q)├ØP
（2）(P®(Q®S)) ∧ (ØR∨P) ∧Q├ R→S
（3）($x)P(x)®("x)(P(x)ÚQ(x)®R(x)), ($x)P(x), ($x)Q(x)├ R(a)ÙR(c)
六、如图中所示的Kripke结构，利用标号算法对公式进行模型检验。
（15）
（1）E((p ∧r) ▷p)
（2）A(p▷q) = ØE(Ø(p▷q))
七、对于哲学家就餐问题，利用CTL描述下述性质。
（15）
（1）相邻的两个哲学家不能同时都在用餐；
（2）一个哲学家只要处于等待用餐状态，就可以最终进入用餐状态；
（3）存在一个状态使得该状态下每个哲学家都拿起一把叉子。
参考答案与答题要点
一、填空题
1. 开发和维护软件工程软件形式化方法工具过程
2. 严格性形式化规格模型检验定理证明自动推理形式化方法形式规格程序代码
3. 模式的名字声明/说明部分断言/谓词部分
4. 双层规格方法 Larch共享语言 Larch接口语言
二、发送端：{持有报文Shold，等待认可Swait，收到应答Sack}
接收端：{等待报文Rwait，报文正确Rtrue，报文错误Rerror}
计时器：{启动Tstart，停止Sstop，超时Sover}
三、覆盖树：
四、 P<x>=produce?x®write!x ;
C<x>=read?x®consume!x ;
B=P<x>®P<y>|(C<x>®B) .
五、（1）Ø(Q∨R) ∧(P®Q)├ØP
1.Ø(Q∨R) ∧(P®Q) 前提引入规则
2.ØQ∧ØR 1及基本等价公式
3.ØP∨Q 1及基本等价公式
4.ØQ 2及基本蕴含公式
1.ØP 3, 4及基本蕴含公式
（2）(P®(Q®S)) ∧ (ØR∨P) ∧Q├ R→S
1.ØR∨P 前提引入规则
2.R®P 1及基本等价公式
3.R 结论引入规则
4.P 2, 3及基本蕴含公式
5.P®(Q®S) 前提引入规则
6.Q®S 4, 5及基本蕴含公式
7.Q 前提引入规则
8.S 6, 7及基本蕴含公式
（3）($x)P(x)®("x)(P(x)ÚQ(x)®R(x)), ($x)P(x), ($x)Q(x)├ R(a)ÙR(c)
1.($x)P(x)®("x)(P(x)ÚQ(x)®R(x)) 前提引入规则
2.P(a)®("z)(P(z)ÚQ(z)®R(z)) 1及存在量词消去规则
3.($x)P(x) 前提引入规则
4.P(a) 3及存在量词消去规则
5.($x)Q(x) 前提引入规则
6.Q(c) 5及存在量词消去规则
7.("z)(P(z)ÚQ(z)®R(z)) 2, 4及基本蕴含公式
8.P(a)ÚQ(a)®R(a) 7及z/a
9.P(c)ÚQ(c)®R(c) 7及z/c
10.R(a) 4, 8及基本蕴含公式
11.R(c) 6, 9及基本蕴含公
式
12.R(a)ÙR(c) 10, 11及基本蕴含公式
六、（1）E((p∧r) ▷p)
（2）A(p▷q) = ØE(Ø(p▷q))
七、CTL描述:
（1）A r(Ø(P i=eating)Ù(P i+1=eating)) i=0,1,2,3,4 P5=P0（2）A r ((P i=waiting)®A◇(P i=eating))
（3）E◇(P i=forking)。