软件需求工程2

软件需求分析与形式化方法

丁艳辉E-Mail：1软件需求分析与形式化方法

这是一门什么样的课程？（What）为什么要学习这门课程？（Why）如何学习这门课程？（How）2《软件需求分析与形式化方法》

是一门什么样的课程？软件软件是程序以及开发、使用和维护程序需要的所有文档。软件的开发举例：盖房子3建造过程确定和分析需求提出并文档化房子的总体设计提出房子的详细规格说明识别并设计房子的组成部分（房子、管道、电）构建房子的每一个组成部分测试房子的每一个组成部分把房子的各个组成部分集成在一起，在住户搬进来之前做最后的修改由房子的住户持续进行维护4软件的开发包括以下活动需求分析和定义系统设计程序设计编写程序单元测试集成测试系统测试系统交付维护5这是一门什么样的课程？研究如何有效地获得需求（需求开发），并有效地对需求进行管理（需求管理）。6第2个问题：为什么要学习这么课？图1-1CHAOS报告数据分析7表1-1项目超支、超期情况分析项目超支项目比例进度超期项目比例<20%15.5%<20%13.9%21%-50%31.5%21%-50%18.3%51%-100%29.6%51%-100%20.0%101%-200%10.2%101%-200%35.5%201%-400%8.8%201%-400%11.2%>400%4.4%>400%1.1%8成功因素权重失败因素权重用户的参与15.9%不完整的需求13.1%执行层的支持13.9%缺乏用户参与12.4%清晰的需求描述13.0%资源不足10.6%合适的规划9.6%不切实际的用户期望9.9%现实的客户期望8.2%缺乏执行层的支持9.3%较小的里程碑7.7%需求变更频繁8.7%有才能的员工7.2%规划不足8.1%主权5.3%提供了不再需要的7.5%清晰地愿景和目标2.9%缺乏IT管理6.2%努力的工作和稳定的员工2.4%技术能力缺乏4.3%其他13.9%其他9.9%表1-2项目成败因素分析9“项目需求无疑是在软件项目前期造成麻烦的一个最大原因，一个又一个研究表明，当项目失败时，需求问题正是核心问题.”--------R.Glass10第2个问题：为为什么要学学习这门课课？《软件需求分分析与形式式化方法》主要在需求求分析阶段段，有效地地发现和解解决与需求求相关的问问题。因此此，需要学学习这门课课。11第3个问题：如如何学习这这门课？多看多思考多动手12第一章需需求工程概概述1、什么是软软件需求？？例如，对于于选课系统统，用户有有哪些需求求？Davis认为，软件需求是从软件外外部可见的的，软件所所具有的、、满足于用用户的特点点、功能及及属性等的的集合。13IEEE，软件工程程标准词汇汇表将需求定义为：（1）用户解决决问题或达达到目标所所需的条件件或能力；；（2）系统或系系统部件要要满足合同同、标准、、规范或其其它正式规定定文档所需需具有的条条件或能力力。14关于软件需需求还有不不同的定义义，原因在在于一方面面需求工程程发展过程程还不长（（20世纪90年代提出））；另一方方面，真正正的需求实实际是在人人们的脑海海中形成的的，很难给给予准确的的定义。总的来说，，软件需求是指软件系系统必须满满足的所有有功能、性性质和限制制。152、软件需求的的分类目标需求：表示组织或或客户高层次次的目标；（（描述了组织织为什么要开开发一个系统统）业务需求：描述用户的的目标，或用用户要求系统统必须完成的的任务；功能需求：规定开发人人员必须在产产品中实现的的软件功能；；性能需求：实际的软件件系统功能应应达到的技术术指标；约束与限制：软件开发人人员在设计和和实现软件系系统时的限制制。163、需求规格说说明软件需求规格格说明是软件件所应满足的的全部需求，，并可用文档档的方式完整整和精确地陈陈述这些需求求。174、需求工程指应用工程化化的方法、技技术和规格来来开发和管理理软件的需求求。185、需求的开发发和管理需求工程需求开发需求管理需求获取需求分析需求描述需求验证19需求获取：确定和收集集与软件系统统相关的、来来自不同来源源和对象的用用户需求信息息。需求分析：对获得的用用户需求信息息进行分析和和综合，即提提炼、分析和和仔细审查已已收集到的用用户需求信息息，并找出其其中的错误、、遗漏或其他他不足的地方方，以获得用用户对软件系系统的真正需需求，建立软软件系统的需需求模型。203）需需求求定定义义：使使用用适适当当的的描描述述语语言言，，按按标标准准的的格格式式描描述述软软件件系系统统的的需需求求，，并并产产生生需需求求规规格格说说明明及及其其相相应应文文档档。。4）需求验验证：审查和和验证需需求规格格说明是是否正确确和完整整地表达达了用户户对软件件系统的的需求。。216、需求求管理理基准需求说明分析编写文档评审、商议需求变更过程市场需求客户管理市场客户管理项目环境当前基线需求开发需求管理修正后基线需求变更项目变更需求开发与管理之间的界线227、优秀秀需求求的特特点完整性性：每一一项需需求都都必须须将所所有实实现的的功能能描述述清楚楚，以以便开开发人人员获获得设设计和和实现现这些些功能能所需需的必必要信信息。。正确性：每一项需需求都必须须准确地描描述将要开开发的功能能。可行性：每一项需需求都必须须在已知系系统和环境境的限制范范围内是可可以实施的的。23必要性：每一项需需求都应把把客户真正正需要的和和最终系统统所遵从的的标准记录录下来。划分优先级级：给每项需需求、特性性或使用实实例分配一一个实施优优先级，以以指明它在在特定产品品中所占的的分量。无二义性性：对所有有需求说说明都只只能有一一个明确确统一的的解释。。可验证性性：检查每每项需求求是否能能通过设设计测试试用例或或其他的的验证方方法。248、需求工程程在软件件开发中中的地位位需求是制制定项目目计划的的基础。。需求工程程所产生生的最终终产物需需求规格格说明是是软件设设计和软软件实现现的基础础。需求规格格说明也也是测试试工作和和用户验验