2012学期上学期《软件形式化方法》期末考试试题

软件工程期末考试参考题及答案1. 考试题目：软件需求工程考试要求：根据给定的需求文档，完成以下题目。

题目一：根据给定的需求文档，设计一个在线购物系统。

请根据以下要求完成系统设计：（1）使用UML类图绘制系统的类结构；（2）使用UML时序图描述用户登录和浏览商品的流程；（3）使用UML活动图描述用户下订单的流程。

答案：（1）类图如下所示：[在这里插入UML类图图片]（2）时序图如下所示：[在这里插入UML时序图图片]（3）活动图如下所示：[在这里插入UML活动图图片]题目二：根据给定的需求文档，设计一个在线学习系统。

请根据以下要求完成系统设计：（1）使用UML用例图描述系统的功能需求；（2）使用UML活动图描述学生完成在线学习的流程；（3）使用UML状态图描述学生的学习状态变化。

答案：（1）用例图如下所示：[在这里插入UML用例图图片]（2）活动图如下所示：[在这里插入UML活动图图片]（3）状态图如下所示：[在这里插入UML状态图图片]2. 考试题目：软件设计模式考试要求：根据给定的题目，选择并解答以下问题。

题目一：分析以下代码，判断其使用了哪种设计模式，并阐述该设计模式的作用和优势。

```javapublic interface Car {void drive();}public class Sedan implements Car {@Overridepublic void drive() {System.out.println("Driving a sedan car."); }}public class SUV implements Car {@Overridepublic void drive() {System.out.println("Driving an SUV car."); }}public class CarFactory {public Car createCar(String type) {if (type.equals("sedan")) {return new Sedan();} else if (type.equals("suv")) {return new SUV();} else {throw new IllegalArgumentException("Invalid car type: " + type);}}}```答案：该代码使用了工厂模式。

上半年?软件工程?课程期末考试试卷考试形式：闭卷试卷号： A专业任课教师班级考生姓名学号成绩一、填空题(共20分，每题2分)1．在信息处理和计算机领域内，一般认为软件是程序、数据和文档2．数据流图的根本组成局部有数据的源点与终点、加工、数据的流向和数据文件。

3．数据流图和数据字典共同构成了系统的逻辑模型，是需求规格说明书的主要组成局部。

4．划分模块时尽量做到高内聚、低耦合，保持模块的独立性，尽量使用公共模块。

5．类的实例化是对象。

6．人们常用硬件可靠性的定量度量方法来度量软件的可靠性和可用性，常用的度量软件可靠性的两个指标是成功运行的概率和平均故障时间。

7．如果一个模块被n个模块调用，其中直接的上级模块的个数是m个(m<二n)那么该模块的扇入数是n个。

8．结构化设计以数据流图为根底，按一定的步骤映射成软件结构。

9．软件的风险分析可包括风险识别、风险预测和风险驾驭(或险管理)等3项活动。

10．软件著作权登记的3种主要类型：(1)著作权登记；(2)著作权延续登记；．(3)权利转移备案登记。

二、选择题(共30分，每题2分)1．软件工程的概念是哪年提出的(B)。

A．1988C．1948D．19282．瀑布模型的关键缺乏在于(D)。

A．过于简单B．各个阶段需要进行评审C．过于灵活3．以下哪一项不是软件危机的表现形式 (C)。

A.开发的软件不满足用户需要D．开发的软件可维护性差D．开发的软件可靠性差4．面向对象的主要特征除对象惟一性、封装、继承外，还有()。

B．完整性C．可移植性D．兼容性5．软件详细设计的主要任务是确定每个模块的()B、外部接口C、功能D、编程6．按软件生命周期方法设计软件的过程中，画数据流图属于下面哪个阶段的工作()B、程序设计C、详细设计D、软件维护7．经过严密的软件测试后所提交给用户的软件产品中 ()A、软件不再包含任何错误C、所提交的可执行文件不会含有错误D、文档中不会含有错误。

软件⼯程期末试题（含答案）讲解学习软件⼯程期末试题(含答案)⼀、填空题（每空1分，共25分）1.软件⽣存周期⼀般可以划分为，问题定义、可⾏性研究、需求分析、设计、编码、测试和运⾏和维护。

2.基于软件的功能划分，软件可以划分成___系统软件_、⽀撑软件、应⽤软件__三种。

3.可⾏性研究，应从经济可⾏性、技术可⾏性、运⾏可⾏性、法律可⾏性和开放⽅案可⾏性等⽅⾯研究。

4.系统流程图是描绘物理系统的传统⼯具。

它的基本思想是⽤图形符号以⿊盒⼦形式描绘系统⾥⾯的每个部件5.数据流图的基本四种成分：数据输⼊的源点和数据输出汇点、加⼯、数据流和数据存储⽂件。

6.结构化分析⽅法是⾯向_数据流_进⾏需求分析的⽅法。

结构化分析⽅法使⽤_数据流图DFD_与_数据字典_来描述。

7.继承性是⾃动地共享类、⼦类和对象中的⽅法和数据的机制。

8.软件详细设计⼯具可分为3类，即_图⽰⼯具_、_设计语⾔_和_表格⼯具_。

9.为了在软件开发过程中保证软件的质量，主要采取下述措施：_审查__、复查和管理复审、___测试_。

10.⼤型软件测试包括单元测试、集成测试、确认测试和系统测试四个步骤。

⼆、单项选择题（每⼩题2分，共20分）1.软件设计中划分模块的⼀个准则是（ C ）。

A、低内聚低耦合 B.低内聚⾼耦合 C.⾼内聚低耦合 D.⾼内聚⾼耦合2.Jackson设计⽅法是由英国的M. Jackson提出的，它是⼀种⾯向（ C ）的软件设计⽅法。

A、对象 B.数据流 C.数据结构 D.控制结构3.试判断下列叙述中，哪个（些）是正确的( C )。

a、软件系统中所有的信息流都可以认为是事务流b、软件系统中所有的信息流都可以认为是变换流c、事务分析和变换分析的设计步骤是基本相似的A、aB、bC、cD、b和c4.（ A ）是⽤户和设计交换最频繁的⽅法。

A、原型化⽅法B、瀑布模型⽅法 C. 螺旋模型⽅法 D、构件组装模型5.软件⼯程⽅法学的⽬的是：使软件⽣产规范化和⼯程化，⽽软件⼯程⽅法得以实施的主要保证是( C )。

软件工程期末试题（一）单项选择题1.瀑布模型的存在问题是（B ）A．用户容易参与开发B．缺乏灵活性C．用户与开发者易沟通D．适用可变需求2.开发软件所需高成本和产品的低质量之间有着尖锐的矛盾，这种现象称做( C )A.软件工程B.软件周期C.软件危机D.软件产生3.数据耦合、公共耦合、标记耦合、控制耦合的耦合性从低到高的顺序是（ B ）A.数据、公共、标记、控制B.数据、标记、控制、公共C.控制、数据、标记、公共D.控制、数据、公共、标记4.在SD方法中全面指导模块划分的最重要的原则是( D )A.程序模块化B.模块高内聚C.模块低耦合D.模块独立性5．软件测试的目的是（ B ）。

A．评价软件的质量 B. 发现软件的错误C．找出软件的所有错误 D. 证明软件是正确的6．在设计测试用例时，（ A ）是用得最多的一种黑盒测试方法。

A．等价类划分 B. 边界值分析 C. 因果图 D. 判定表7. 需求分析最终结果是产生( B )。

A. 项目开发计划B. 需求规格说明书C. 设计说明书D. 可行性分析报告8. Jackson图中，模块框之间若有直线连接，表示它们之间存在(B )。

A. 调用关系B. 组成关系C. 链接关系D. 顺序执行关系9. 软件详细设计的主要任务是确定每个模块的( C )。

A. 功能B. 外部接口C. 算法和使用的数据结构D. 编程10．为了提高软件的可维护性，在编码阶段应注意（ D ）A.保存测试用例和数据B.提高模块的独立性C.文档的副作用D.养成好的程序设计风格11．设年利率为i，现存入p元，若计复利，n年后可得钱数为（B）A．p﹡(1+i﹡n) B．p﹡(i+1)nC．p﹡(1+i)﹡n D．p﹡(i+n)12．在考察系统的一些涉及时序和改变的状态时，要用动态模型来表示。

动态模型着重于系统的控制逻辑，它包括两个图：一个是事件追踪图，另一个是（A ）。

A ．状态图 B. 数据流图 C. 系统结构图 D. 时序图13. 对象实现了数据和操作的结合，使数据和操作( C )于对象的统一体中。

《软件工程》期末考试参考题及答案1----0bb20b5e-6ea6-11ec-a26c-7cb59b590d7d《软件工程》期末考试样题一、填空1．软件开发模型有瀑布模型、螺旋模型、第四代技术模型、原型模型、构件组装模型、混合模型。

2.可行性研究一般可以从经济可行性、技术可行性、运营可行性、法律可行性和开发可行性等方面进行研究。

3．现在向银行存款，年利率为i，若希望在n年后从银行得到f元，现在应该存入的钱数为f/(1+i)。

4.数据流图的基本符号包括数据输入的源点和数据输出、处理、数据流和数据存储文件的汇点。

5．jackson图除了可以表达程序结构外，还可以表达数据结构，它首先要分析数据结构，并用适当的工具来描述。

6.详细设计工具包括图形工具、表格工具和语言工具。

7．ipo图由输入、处理和输出三个框组成。

这个图的特点是能够直观的显示三者之间的关系。

8.面向对象技术是一套关于如何处理软件系统与现实世界之间的关系，从什么角度研究问题、分析和解决问题，以及如何构建系统的软件方法论。

面向对象方法是一种软件开发方法，它利用对象、类、继承、封装、聚合、消息传输、多态等概念来构造系统。

二、单项选择题1.下列哪个图是N-S图（）的组成部分。

a．b.aabbac.whilemd.ab3．对于螺旋模型，下列（）不是利用笛卡尔坐标表达的活动。

a、制定计划B.实施项目C.风险分析D.程序编码n三、多项选择题1．软件危机可以表现为（abcd）。

a、该产品不能满足用户的需求。

B.软件产品的质量很差。

C.软件的可维护性差。

软件的价格很贵2．jackson图中一般可能包括（abcd）。

a、标题B.表体C.表名D.字段名3．关于内容耦合的描述正确的是（ad）。

a、内容耦合是最高程度的耦合b、应该尽量使用内容耦合c、高级语言通常设计为允许内容耦合d、如果一个模块有多个入口，可能发生内容耦合4.以下是非标准书写格式（BCD）。

a、写入时，使用空格分隔B，并在一行上写入多个语句c、嵌套结构不使用分层缩进的写法d、程序中不加注释四、真假问题（付诸表决）√“括号中表示正确的和”√“为错误的人”用“×”）1.软件生存周期是从软件开始开发到开发结束的整个时期。

软件工程期末试题及答案一、选择题（每题2分，共20分）1. 以下哪项不是软件工程的基本目标？A. 提高软件的生产效率B. 提高软件的质量C. 减少软件的开发成本D. 增加软件的复杂性答案：D2. 下面哪个不属于软件工程的三个主要过程？A. 软件规格B. 软件开发C. 软件测试D. 软件维护答案：A3. 下列哪种编程范式主要用于降低软件复杂性？A. 面向对象编程B. 过程式编程C. 函数式编程D. 逻辑编程答案：A4. 以下哪个不属于软件项目的管理活动？A. 项目计划B. 风险管理C. 质量保证D. 软件开发答案：D5. 以下哪个不是软件需求分析的工具？A. 数据流图（DFD）B. 实体关系图（ERD）C. 状态转换图（STD）D. 类图答案：B6. 以下哪个不属于软件设计的原则？A. 模块化B. 抽象C. 封装D. 继承7. 以下哪种测试方法主要用于检测软件的功能是否满足需求？A. 单元测试B. 集成测试C. 系统测试D. 验收测试答案：C8. 以下哪个不属于软件维护的类型？A. 适应性维护B. 完善性维护C. 纠错性维护D. 预防性维护答案：D9. 以下哪个不属于软件项目管理工具？A. Microsoft ProjectB. JiraC. TrelloD. Visual Studio10. 以下哪个不属于敏捷软件开发的特点？A. 短周期迭代B. 客户参与C. 重构D. 线性开发流程答案：D二、填空题（每题2分，共20分）1. 软件工程的基本目标包括提高软件的生产效率、提高软件的质量和______。

答案：减少软件的开发成本2. 软件工程的三个主要过程分别是软件规格、软件开发和______。

答案：软件维护3. 软件需求分析的主要工具包括数据流图（DFD）、实体关系图（ERD）和______。

答案：状态转换图（STD）4. 软件设计的原则包括模块化、抽象、封装和______。

答案：继承5. 软件测试的四个层次分别是单元测试、集成测试、系统测试和______。

一、填空题1、形式化说明技术是指描述系统性质的基于数学的技术。

2、可行性研究的目的是用最小的代价在尽可能短的时间内确定问题是否能够解决。

3、软件过程的输出信息可以分成3类：_计算机程序（源代码和可执行程序），描述计算机程序的文档（供技术人员或用户使用）和_数据（程序内包含或程序外的）。

4、模块独立性可以用两个标准来衡量，分别是____内聚性___ ______和___耦合性_ __________。

5、重载有哪两种形式：_函数重载和__运算符重载。

6、通常有哪几种形式的维护：完善性维护改正性维护预防性维护适应性维护___。

7、软件重用是指同一软件不做修改或稍加改动就多次重复使用。

8、软件可靠性的定义是_软件在规定的时间间隔内，按照软件规格说明书的规定成功运行的概率。

9、软件测试的目的是_在软件投入生产性运行前，尽可能多的发现软件中的错误__。

10、常用的制定进度计划的工具是：Gantt图和工程网络_。

11、喷泉模型的特点是提高软件项目开发效率，节省开发时间，是典型的面向对象的软件过程之一。

12、程序的质量和程序中包含的go to语句的数量成_反比。

二、选择题1、下面哪个阶段不属于软件开发时期（D）a.详细设计b.总体设计c.编码d.需求分析2、下面哪种测试不属于黑盒测试（B）a.等价划分b.控制结构测试c.错误推测d. 边界值分析3、下面哪些描述是错误的（C）a.模块规模应该适中b.设计单出口单入口的模块c.模块的控制域应该在作用域之内d.模块功能应该可以预测4、软件测试中一个完整的软件配置是( )a.需求说明书、设计说明书和源代码b.需求说明书、设计说明书和测试用例c.源代码和运行程序d.调试工具、源代码和运行程序5、那些人员不属于维护组织的成员（ B ）a.维护管理员b.系统分析员c.变化授权人d.系统管理员三、简答题1、计算下列工程网络图的最早时刻，最迟时刻和机动时间2、请简要说明事务分析和变换分析的区别，并用图表示事物流和变换流。

软件工程期末试题及答案(word版可编辑修改)编辑整理：尊敬的读者朋友们：这里是精品文档编辑中心，本文档内容是由我和我的同事精心编辑整理后发布的，发布之前我们对文中内容进行仔细校对，但是难免会有疏漏的地方，但是任然希望（软件工程期末试题及答案(word 版可编辑修改)）的内容能够给您的工作和学习带来便利。

同时也真诚的希望收到您的建议和反馈，这将是我们进步的源泉，前进的动力。

本文可编辑可修改，如果觉得对您有帮助请收藏以便随时查阅，最后祝您生活愉快业绩进步，以下为软件工程期末试题及答案(word版可编辑修改)的全部内容。

软件工程期末试题及答案(六)选择题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．成功的测试是指运行测试用例后（）.A）未发现程序错误 B)发现了程序错误 C）证明程序正确性 D)改正了程序错误9．下列几种逻辑覆盖标准中,查错能力最强的是（ )。

A）语句覆盖 B）判定覆盖 C)条件覆盖 D）条件组合覆盖10．在黑盒测试中，着重检查输入条件组合的方法是（ )。

软件工程期末试卷(十套含答案)一、选择题（每题1分，共5分）A. 方法论B. 工具C. 过程D. 人员2. 下列哪一项不是软件生命周期的阶段？A. 需求分析B. 设计C. 编码D. 销售与市场A. 瀑布模型B. 喷泉模型C. 增量模型D. 敏捷模型4. 下列哪种方法不是软件需求获取的方法？A. 问卷调查B. 访谈C. 观察D. 编码A. 单一职责原则B. 开放封闭原则C. 里氏替换原则D. 依赖倒置原则二、判断题（每题1分，共5分）1. 软件工程的目标是生产出高质量的软件产品。

（√/×）2. 在软件开发过程中，需求分析阶段是最重要的阶段。

（√/×）3. 软件开发模型只有瀑布模型和喷泉模型两种。

（√/×）4. 在面向对象方法中，类是现实世界中实体的抽象。

（√/×）5. 软件测试的目的是证明软件的正确性。

（√/×）三、填空题（每题1分，共5分）1. 软件工程的三要素包括方法论、工具和______。

2. 软件生命周期包括需求分析、设计、编码、测试和______。

3. 在面向对象方法中，对象是现实世界中实体的______。

4. 软件开发模型包括瀑布模型、喷泉模型、增量模型和______。

5. 软件测试的目的是发现软件中的______。

四、简答题（每题2分，共10分）1. 简述软件工程的目标。

2. 简述软件生命周期的阶段。

3. 简述面向对象方法的基本概念。

4. 简述软件开发模型的作用。

5. 简述软件测试的目的。

五、应用题（每题2分，共10分）1. 假设你是一个软件开发人员，你需要为一个图书馆开发一个图书管理系统。

请列出该系统的需求。

2. 请解释瀑布模型和喷泉模型的区别。

3. 请解释面向对象方法中的继承和多态的概念。

4. 请解释软件测试中的黑盒测试和白盒测试的区别。

5. 请解释软件维护的类型。

六、分析题（每题5分，共10分）1. 假设你是一个软件开发人员，你需要为一个在线购物网站开发一个支付系统。

《软件工程》得分评卷人二、填空题（每空2分，共20分）期末考试一试卷1．在软件开发过程中要产生大批的信息，要进行大批的改正，能协调软件开发，并使：号位座考生注意：1．本试卷共有五道大题，满分100分。

杂乱减到最低程度。

2．考试时间90分钟。

2．规定功能的软件，在必定程度上对自己错误的作用拥有障蔽能力，则称此3．卷面整齐，笔迹工整。

软件。

4．填写内容不得高出密封线。

3．McCall提出的软件质量模型包含个软件质量特征。

密总分题号一二三四五核分人题分1520203015复查人得分得分评卷人一、名词解说题（每题3分，共15分）：号学 1.软件生计周期模型封数据词典DD：业专内聚性：名姓方法线4．软件可保护性胸怀的七个质量特征是可理解性、可测试性、可改正性、靠使用性和效率。

5.为了便于比较检查，测试用例应由输入数据和预期的6.程序设计语言的心理特征主要表此刻、简短性、传统7.软件构造是以为基础而构成的一种控制层次构造。

8.使用类创立对象的过程其实是类的过程。

9.构造化语言是介于自然语言和之间的一种半形式语10.若年利率为i，不计复利，n年后可得钱数为F，则此刻的价值得分评卷人三、简答题（每题5分，共20分）1．简述容错技术的四种主要手段，并解说。

2.以的看法，简述对软件测试的目的。

5.多态性：站授函就程序设计语言的工程特征而言，对程序编码有哪些要求？模块的内聚性包含哪些种类？得分评卷人四、理论应用题（每题15分，共30分）请使用PAD图和PDL语言描绘在数组A（1）～A（10）中找最大数的算法。

2．依据以下条件使用等价类区分法设计测试用例。

某一8位微机，其八进制常数定义为：以零开头的数是八进制整数，其值的范围是-177～177，如05，0127，-065。

得分评卷人五、实践应用题（每题15分，共15分）1．某电器公司公司部下的厂包含技术科、生产科等基层单位。

此刻想成立一个计算机协助公司管理系统生产科的任务是：1）依据销售公司转来的内部合同（产品型号、规格、数目、交获日期）拟订车间月生产计划。

软件工程期末试题及答案（这是一份软件工程期末试题及答案的示例，不包含具体的问题和答案。

请根据需要自行编写试题和答案内容。

）简介：本文为软件工程期末试题及答案，旨在帮助学生对软件工程的知识点进行复习和巩固。

试题包含了软件工程的基础概念、方法和技术，答案部分提供了详细的解释和分析，以便学生理解并掌握相关知识。

一、选择题1. 下列哪个不是软件工程的基本原则？A. 可维护性B. 可测试性C. 可扩展性D. 可折叠性答案解析：考察软件工程的基本原则，解释了可维护性、可测试性和可扩展性的概念，并指出了可折叠性不属于软件工程的基本原则。

二、填空题2. 软件需求是用户对软件系统所提出的________________。

答案解析：考察软件需求的定义，填空部分需要填写“功能要求”、“性能要求”、“界面要求”或其他与软件系统相关的要求。

三、判断题3. 软件工程只涉及软件开发的过程，与软件维护无关。

正确/错误答案解析：考察软件工程的范畴，判断句需要填写“正确”或“错误”，并提供对答案的解释，解释软件工程包含软件开发和维护过程。

四、简答题4. 请述说软件测试的重要性及其作用。

答案解析：考察对软件测试的理解，答题部分需要详细阐述软件测试的重要性和作用，比如保证软件质量、发现和修复缺陷等。

五、论述题5. 软件开发生命周期模型有哪些？请比较它们之间的优缺点。

答案解析：考察对软件开发生命周期模型的了解，答题部分需要列举各种常见的软件开发生命周期模型（如瀑布模型、敏捷模型等），并对它们的优缺点进行比较。

总结：本文为软件工程期末试题及答案，内容涵盖了选择题、填空题、判断题、简答题和论述题，旨在帮助学生全面复习和巩固软件工程的知识点。

通过本文的学习，希望读者能够对软件工程有更深入的理解，并在期末考试中取得好成绩。

（本文内容为示例，请根据实际需要编写试题和答案，以及相应的解析和解释。

）。

软件工程霄末试题及答案）软件工程佴末试题及答案）一、选择题（共20题，每题2分，共40分）1. 在软件工程中，以下哪一项不是七大工程（）。

A.软件需求B.软件设计C.软件开发D.软件维护答案：D2.软件需求分析的目的是（）。

A.理解用户需求B.设计软件架构C.编写用户手册D.测试软件功能答案：A3软件开发过程中的迭代模型，不存在的是（）。

A.瀑布模型B.敏捷开发模型C.螺旋模型D.喷泉模型答案：D4.以下哪个不是软件测试的目的（）。

A.发现错误和缺陷B.验证软件是否满足需求C.评估软件的可靠性和质量D.优化软件的性能答案：D5.软件项目管理中，以下哪种方法适用于大型复杂项目（）。

A.瀑布模型B.敏捷开发C.增量模型D螺旋模型答案：D6软件开发生命周期中，以下哪个过程不属于（）。

A. 需求分析过程B. 设计过程C. 编码过程D. 运维过程答案：D7. 在软件工程中，什么是软件测试()。

A. 软件开发的最后阶段B. 发现软件缺陷的过程C. 确保软件质量的控制过程D. 软件最终验收的流程答案：C8. 以下哪种测试方法旨在评估软件在不同负载下的性能和稳定性（）。

A. 单元测试B. 集成测试C系统测试D. 性能测试答案：D9.软件开发中，以下哪个活动不属于软件配置管理（）。

A.版本控制B.配置变更控制C.缺陷管理D.代码评审答案：D10.以下哪个是敏捷开发的基本原则（）。

A.面对面交流胜过文档B.完全按照计划进行C.精确的需求分析是关键D.严格的变更控制是必要的答案：A11.下列哪个不属于软件配置管理的内容()。

A.变更控制B.版本控制C.缺陷管理D.运维管理12. 软件的可靠性是指()。

A. 软件是否能正常运行B. 软件是否符合用户需求C. 软件运行期间不出现故障的能力D. 软件功能的完善程度答案：C13. 下列哪个不属于软件开发的7大原则（）。

A. 开放封闭原则B. 依赖倒置原则C. 单一职责原则D. 模块化编程原则答案：D14. 软件过程改进的指导框架是（）。

使用类创建对象的过程实际上是类的过程。

结构化语言是介于自然语言和之间的一种半形若年利率为i，不计复利，n年后可得钱数为F，P=。

5分，共20分）就程序设计语言的工程特性而言，对程序编码有模块的内聚性包括哪些类型？15分，共30分）请使用PAD图和PDL语言描述在数组A（1）～A 10）中找最大数的算法。

根据下列条件使用等价类划分法设计测试用例。

8位微机，其八进制常数定义为：以零开头的其值的范围是-177～177，如05，，-065。

15分，共15分）现在想建立一个计算机辅助企业管理（1）根据销售公司转来的内部合同（产品型规格、数量、交获日期）制定车间月生产计划。

（2）根据车间实际生产日报表、周报表调整（3）以月生产计划为以及，制定产品设计（结（4）将产品的组装计划传达到各科，将组装（1）根据生产科转来的组装计划进行产品结产生产品装配图给生产科，产生外购需求（2）根据组装计划进行产品工艺设计，根据试写软件工程期末答案一、名词解释题（每题3分，共15分）。

1．是描述软件开发过程中各种活动如何执行的模型。

2．数据字典是用来定义数据流图中的各个成分的具体含义的。

它以一种准确的、无二义性的说明方式为系统的分析、设计及维护提供了有关元素的一致的定义和详细的描述。

3．内聚性是模块独立性的衡量标准之一，它是指模块的功能强度的度量，即一个模块内部各个元素彼此结合的紧密程度的度量。

4．JSP方法是面向数据结构的设计方法，其定义了一组以数据结构为指导的映射过程，它根据输入，输出的数据结构，按一定的规则映射成软件的过程描述，即程序结构。

5．指相同的操作或函数、过程可作用于多种类型的对象上并获得不同结果。

或（不同的对象，收到同一消息可以产生不同的结果。

）二、填空题（每空2分，共20分）。

1.软件配置管理2.容错功能3.114.可移植性5.输出结果6.歧义性7.模块8.实例化9.形式语言10.F/(1+(n*i))三、简答题（每小题5分，共20分）。

一、选择题1~5 ACADB 6~10 BCBAB选择题（2×10题＝20分）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.面向对象方法的要素是（）。

A．对象、类、数据类型和算法B．对象、类、继承和消息C．对象、基类、派生类和继承D．对象、父类、子类和继承9.在用面向对象观点建立的模型中（）是最基本、最重要、最核心的模型。

A．对象模型B．动态模型C．功能模型D．操作模型10.用“自底向上”方式建立继承关系是指（）。

A．把现有类细化成更具体的子类B．从现有类泛化出更抽象的父类C．从较高的层次推导出较低的层次D．从较低的层次抽象出较高的层次二、填空题1、开发维护2、需求分析3、子集4、软件需求规格说明5、信息域数据结构6、满足用户的需求7、数据功能8、顺序循环9、输入数据10、对象功能11、脚本12、求解域13、服务14、可重用性可维护性二、填充题（1×20个空档＝20分）1.软件工程是指导计算机软件（）和（）的工程科学。

2.在软件生命周期中，（）的任务是准确回答“目标系统必须做什么”这个问题。

3.快速原型所能完成的功能往往是最终产品能完成的功能的一个（）。

软件工程期末考试试卷附答案软件工程期末考试试卷（附答案）引导语：软件工程是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。

以下是店铺整理的软件工程期末考试试卷(附答案)，欢迎参考!一、选择题：(每题1分，共20分)(将答案写在题号前的()中)( C )1. 软件是( )。

A. 处理对象和处理规则的描述B. 程序C. 程序及其文档D. 计算机系统( B )2. 软件需求规格说明的内容不应包括( )。

A. 主要功能B. 算法的详细描述C. 用户界面及运行环境D. 软件的性能( B )3. 程序的三种基本控制结构是( )。

A. 过程、子程序和分程序B. 顺序、选择和重复C. 递归、迭代和回溯D. 调用、返回和转移( D ) 4. 面向对象的分析方法主要是建立三类模型，即( )。

A) 系统模型、ER模型、应用模型B) 对象模型、动态模型、应用模型C) E-R模型、对象模型、功能模型D) 对象模型、动态模型、功能模型( C ) 5. 在E-R模型中，包含以下基本成分( )。

A) 数据、对象、实体B) 控制、联系、对象C) 实体、联系、属性D) 实体、属性、操作( A ) 6. 各种软件维护的类型中最重要的是( )。

A) 完善性维护 B) 纠错性维护 C) 适应性维护 D) 预防性维护( B ) 7.软件测试的目标是( )。

A. 证明软件是正确的B. 发现错误、降低错误带来的风险C. 排除软件中所有的错误D. 与软件调试相同( D )8.软件生命周期中所花费用最多的阶段是( )A.详细设计B.软件编码C.软件测试D.软件维护( C )9.若有一个计算类型的程序，它的输入量只有一个X，其范围是[-1.0, 1.0]，现从输入的角度考虑一组测试用例：-1.001, -1.0, 1.0,1.001.设计这组测试用例的方法是( )A.条件覆盖法B.等价分类法C.边界值分析法D.错误推测法( D )10、详细设计的基本任务是确定每个模块的( )设计A.功能B.调用关系C.输入输出数据D.算法( A )11.设函数C(X)定义问题X的复杂程序，函数E(X)确定解决问题X需要的工作量(时间)。

学习中心姓名学号西安电子科技大学网络教育2012学年上学期《软件形式化方法》期末考试试题（综合大作业）考试说明：1．大作业于2012年06月09日下发，2012年06月23日交回。

2．试题必须独立完成，如发现抄袭、雷同均按零分计。

3．试题须手写完成，卷面字迹工整，不能提交打印稿。

一填空题（每空2分，合计30分）1. 现代软件工程的软件定义包括、和。

2. 软件危机是指在计算机软件的开发和维护过程中所遇到的一系列严重的问题，其产生的原因主要包括：、、、；其本质特征是软件的和。

3. 模式是Z语言规格中一个重要的元素，模式是由、和组成。

4. 形式化方法研究如何把（具有清晰数学基础的）严格性（描述形式、技术和过程等）融入软件开发的各个阶段；包括形式化规格、和三种活动，在软件开发的形式化规格中包含的三种规格为、和。

二有限状态机（10分）对于图中所示有限状态机的状态转移图，给出其关系矩阵和状态转移表。

三Petri网（10分）对图中所示Petri网进行化简。

四进程代数（10分）（1）计算进程PHONE的迹PHONE = ring → answer → hungup→ STOP（2）给出迹投影结果<start, ask, answer, wrong, start, ask, answer, right, end>↑{start, ask, end}五命题和逻辑演算（每题10分合计20分）（1）P∧(Q↔R)├(P∧Q) ↔(P∧R)（2）├ (∃x)(P(X) →(∀Y)P(Y))六时态逻辑（每题10分合计20分）对于图中所示的Kripke结构，利用标号算法对公式进行模型检验。

（1）E((p ∧r)▷p)（2）A(p▷q) = ⌝E(⌝(p▷q))。

第1章绪论1.什么是形式化方法？（1）为了克服自然语言和程序设计语言描述规格说明的缺陷，人们提出了一种新的软件开发范型，即通过形式化、规格化的数学力量，用描述“做什么”来取代“怎么做”，这就是形式方法。

其基本思想是对系统建立一个数学模型，研究和提供一种基于数学的或形式语义学得规格说明语言，用这种语言严格地描述所开发的软件功能，并由自动程序设计的加工模型来得到可执行的代码。

（2）形式化方法是抑郁数学方法来描述目标软件系统性质的一门技术，用严格的数学符号和数学法则对目标软件系统的结构与行为进行有效的综合、分析和推理，它为系统的说明、开发和验证提供了一个框架，以利于发现目标软件系统需求的不一致性、不完整性等情况。

2.软件规格说明有哪两种抽象？抽象是一种很重要的技术，软件规格说明有两种抽象：过程抽象和数据抽象。

过程抽象描述的是软件系统要实现的功能，二不是如何实现其功能的具体步骤；数据抽象就是在规格说明中使用集合、关系、映射、序列、包等抽象的数学结构，而不必担心这些结构最终是如何实现的。

3.形式化方法的优缺点？优点：形式化规格说明是精确的；由误解引起的错误减少；规格说明有利于系统实现；能够对形式规格说明进行正确性证明。

缺点：形式规格说明难以阅读；形式化发放并不能对客观世界的所有方面进行模型化；形式规格说明的正确性证明费事费力；形式方法也不能避免出错；尚未出现支持形式方法全过程的软件环境、4.什么是Z语言？（1）Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言、称Z语言为形式语言是由于它采用了严格的数学理论，这样可以产生简明、精确、无歧义且可证明的规格说明，同其他规格说明语言相比，Z语言一个主要的特点是可以对Z规格说明进行推理和证明，这种特点使得软件开发人员或用户能够很快找出规格说明的不一致、不完整之处，使他们提高对软件的信心。

（2）将Z语言称为规格说明语言的关键思想是把软件开发中的需求说明阶段和软件设计阶段分开。