系统分析师软件工程(三)模拟试卷.docVIP

PAGE PAGE 1 [模拟] 系统分析师软件工程(三) 选择题 净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用 (1) ?进行分析和建模，并且将 (2) ?作为发现和排除错误的主要机制。使用 (3) ?测试来获取认证软件可靠性所需要的信息。 第1题： A.产生式归约 B.移进归约 C.盒结构归约 D.规范归约 参考答案：C 第2题： A.正确性验证 B.黑白盒测试 C.集成测试 D.基本路径测试 参考答案：A 第3题： A.边界值 B.统计 C.代数 D.精确 参考答案：B 净室软件工程是软件开发的一种形式方法，它可以生成质量非常高的软件。它使用盒结构规约(或形式化方法)进行分析和设计建模，并且强调将正确性验证，而不是测试，作为发现和消除错误的主要机制。使用统计的测试来获取认证被交付软件的可靠性所必需的出错率信息。 净室方法从使用盒结构表示的分析和设计模型入手，一个“盒”在某特定的抽象层次上封装系统(或系统的某些方面)。黑盒用于表达系统的对外可观测行为，状态盒封装状态数据和操作，清晰盒用于对某状态盒中的数据和操作所蕴涵的过程设计进行建模。 一旦完成了盒结构设计，则运用正确性验证。软件构件的过程设计被划分为一系列子函数，为了证明每个子函数的正确性，要为每个函数定义出口条件并实施一组子证明。如果每个出口条件均被满足，则设计一定是正确的。 一旦完成了正确性验证，便开始统计的使用测试。和传统测试不同，净室软件工程并不强调单元或集成测试，而是通过定义一组使用场景、确定对每个场景的使用概率及定义符合概率的随机测试来进行软件测试。将产生的错误记录和取样、构件和认证模型相结合使得可以数学地计算软件构件的可靠性。 净室哲学是一种严格的软件工程方法，它是一种强调正确性的数学验证和软件可靠性认证的软件过程模型，其目标和结果是非常低的出错率，这是使用非形式化方法难以或不可能达到的。 第4题： 基线是软件生存期各个开发阶段的工作成果，测试阶段的基线是______。 A.可提交的软件 B.被测试的程序 C.提交报告 D.测试报告 参考答案：D 一般来说，软件开发各阶段的配置基线如下。 (1)计划阶段：开发计划。 (2)需求分析阶段：需求规格说明、用户手册。 (3)设计阶段；设计规格说明。 (4)编码阶段；程序清单。 (5)测试阶段：测试报告。 第5题： 使用自动项目管理工具与使用手工方法管理相比有许多优点，但是______不属于自动项目管理工具的优点。 A.能对大型项目进行精确跟踪，使项目经理能及时掌握实际工作进展和资源的实际消耗情况 B.能指导设计人员采用软件生存周期各阶段的适用技术，进行设计和控制工程进度 C.能辅助开发PERT、CPM(关键路径方法)和WBS(工作分解结构)，自动更新活动网络图和Gantte图 D.能自动计算、自动积累数据、自动生成图形和报表来取代人工计算、调度、统计和文档工作，提高管理工作效率。 参考答案：B 第6题： 软件的分层式体系结构把软件系统划分为4层，这4层结构自顶向下分别是______。 A.应用软件 ?业务构件 ?中间件 ?系统软件 B.业务构件 ?应用软件 ?中间件 ?系统软件 C.应用软件 ?中间件 ?系统软件 ?业务构件 D.业务构件 ?中间件 ?应用软件 ?系统软件 参考答案：A 软件的分层式体系结构把软件系统划分为4层，这4层结构自顶向下分别是应用软件、业务构件、中间件和系统软件。 第7题： 有两种需求定义的方法——严格定义和原型定义，在关于这两种方法的描述中，不正确的是______。 A.严格定义方法假定所有的需求都可以预先定义 B.严格定义方法假定软件开发人员与用户之间的沟通存在障碍 C.原型定义方法认为需求分析中不可避免地要出现很多反复 D.原型定义方法强调用户在软件开发过程中的参与和决策 参考答案：B 严格定义(预先定义)是目前采用较多的一种需求定义方法。在采用严格定义的传统的结构化开发方法中，各个工作阶段排列成一个理想的线性开发序列，在每一工作阶段中，都用上一阶段所提供的完整、严格的文档作为指导文件，因此它本质上是一种顺序型的开发方法。 在传统的结构化开发中，需求的严格定义建立在以下的基本假设上。 (1)所有需求都能够被预先定义 假设意味着，在没有实际系统运行经验的情况下，全部的系统需求均可通过逻辑推断得到。这对某些规模较小、功能简单的系统是可能的，但对那些功能庞大、复杂且较大的系统显然是困难的。即使事先做了深入细致的调查和分析，当用户见到新系统的实际效果时，也往往会改变原先的看法，会提出修改或更进一步增加