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
《软件工程》期末考试参考题及答案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、请简要说明事务分析和变换分析的区别，并用图表示事物流和变换流。
软件工程期末试题及答案(K12教育文档)
软件工程期末试题及答案(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、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
学习中心
姓名学号
西安电子科技大学网络教育
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))。