SE05 瀑布模型-需求分析.ppt

中国科学技术大学中国科学技术大学软件工程软件工程瀑布模型需求分析中国科学技术大学中国科学技术大学软件工程软件工程提纲需求过程需求诱导需求的特性需求建模需求和规格说明书原型化需求需求文档确认和验证举例从客户引发需求对需求进行建模评审需求以确保其质量文档化需求中国科学技术大学中国科学技术大学软件工程软件工程如何做需求需求诱导需求分析和谈判需求规约系统建模需求确认需求管理中国科学技术大学中国科学技术大学软件工程软件工程需求分析中国科学技术大学中国科学技术大学软件工程软件工程需求(Requirement)对期望行为的表达，处理对象或实体对象或实体他们的状态他们的状态用于改变状态或对象特性的功能用于改变状态或对象特性的功能需求仅理解客户的问题和需要，不考虑如何解决或实现中国科学技术大学中国科学技术大学软件工程软件工程需求分析基本任务是准确回答“系统必须做什么”需求分析不是确定系统怎样完成它的工作，而仅仅是对目标系统提出完整、准确、清晰、具体的要求需求有自己的过程结果关系到工程的成败和软件的质量构建软件系统最艰难的是准确决定要做什么。没构建软件系统最艰难的是准确决定要做什么。没有其他的概念性工作像建立详细的技术需求这样有其他的概念性工作像建立详细的技术需求这样困难，包括所有对人的界面、对机器的接口、对困难，包括所有对人的界面、对机器的接口、对其他系统的接口。如果它做错了，系统基本失败其他系统的接口。如果它做错了，系统基本失败中国科学技术大学中国科学技术大学软件工程软件工程需求分析很重要31%的项目在完成前取消，9%项目按时在预算内交付（而小公司为16%）失败原因不完整的需求不完整的需求 13.1%13.1%缺少用户的参与缺少用户的参与 12.4%12.4%缺乏资源缺乏资源10.6%10.6%不切实际的期望不切实际的期望9.9%9.9%缺乏行政支持缺乏行政支持9.3%9.3%改变需求和规格说明改变需求和规格说明8.7%8.7%缺乏计划缺乏计划8.1%8.1%不再需要该系统不再需要该系统7.5%7.5%修复错误的代价需求过程 1设计 5编码 10单元测试 20交付后 200中国科学技术大学中国科学技术大学软件工程软件工程获取需求的过程系统分析员需求分析员中国科学技术大学中国科学技术大学软件工程软件工程如何做需求需求诱导需求分析和谈判需求规约系统建模需求确认需求管理中国科学技术大学中国科学技术大学软件工程软件工程需求诱导询问客户、用户和其他人：什么是系统或产品的目标？需要完成什么？系统或产品如何满足业务的需要？最终系统或产品如何使用？困难：范围问题范围问题，边界未定义好或刻画了可能混淆的、边界未定义好或刻画了可能混淆的、不必要的技术细节，非简明、整体的系统目标不必要的技术细节，非简明、整体的系统目标理解问题理解问题，用户不能完全理解问题领域，与系统用户不能完全理解问题领域，与系统工程师沟通不好，省略一些他们认为是工程师沟通不好，省略一些他们认为是“明显明显”信息，提出与其他客户的需要冲突或有歧义的需信息，提出与其他客户的需要冲突或有歧义的需求求易变问题易变问题，需求随时间变化需求随时间变化中国科学技术大学中国科学技术大学软件工程软件工程影响需求的人人员人员作用作用委托人支付费用。最终的风险承担者，有最终决定权客户购买软件的人用户熟悉当前系统，并最终使用系统；特殊人群领域专家对软件必须自动化的问题很熟悉市场研究人员调研以确定未来趋势及潜在客户的需要的人律师或审计人员对政府、安全性和法律熟悉的人系统工程师或其他专家确保产品在技术和经济上可行观点会冲突；需求分析员可理解每种观点并以反映每个参与者关注的方式获取需求中国科学技术大学中国科学技术大学软件工程软件工程开发人员怎样看待用户用户怎样看待开发人员不知道他们想要什么不理解操作需求不能清楚地表明他们想要什么不能将清晰陈述的需求转变为成功的系统不能提供可用的需求陈述对需求定义设置不现实的标准提出太多的含有政治动因的需求对于强调技术立刻想要一切总是迟到不能保持进度不能对合法变化的需要做出及时响应不能对需求划分优先级总是超出预算不愿意妥协总是说“不”拒绝为系统负责任试图告诉我们如何做我们的本职工作未对开发项目全力以赴要求用户付出时间和工作量，甚至损害到用户的主要职责中国科学技术大学中国科学技术大学软件工程软件工程需求诱导针对提议的系统评估业务和技术可行性针对提议的系统评估业务和技术可行性确定能帮助刻画需求和了解他们的组织偏爱的人员确定能帮助刻画需求和了解他们的组织偏爱的人员定义系统或产品将放置的技术环境定义系统或产品将放置的技术环境确定确定“领域约束领域约束”(特定应用领域的业务环境约束特定应用领域的业务环境约束)定义一种或多种需求诱导方法定义一种或多种需求诱导方法多人参加，从不同视角对需求进行定义，并确定每多人参加，从不同视角对需求进行定义，并确定每个要记录的需求的理由个要记录的需求的理由确定有歧义的需求作为原型实现的候选确定有歧义的需求作为原型实现的候选创建使用场景创建使用场景中国科学技术大学中国科学技术大学软件工程软件工程需求类型功能需求功能需求功能功能系统什么时候做什么系统什么时候做什么有多种操作模式么有多种操作模式么必须执行什么计算或数据转换必须执行什么计算或数据转换对可能刺激的合适反应是什么对可能刺激的合适反应是什么数据数据输入、输出的格式应该是什么输入、输出的格式应该是什么在任何时间都必须保留任何数据么在任何时间都必须保留任何数据么设计约束设计约束过程约束过程约束中国科学技术大学中国科学技术大学软件工程软件工程需求类型设计约束设计约束物理环境物理环境设备安置，一个地点还是多个设备安置，一个地点还是多个对环境有何限制，温湿度、电磁干扰对环境有何限制，温湿度、电磁干扰对系统规模可有限制对系统规模可有限制电源、供热、制冷上限制电源、供热、制冷上限制对现有软件的结构导致编程语言有限制对现有软件的结构导致编程语言有限制接口接口输入来自一个或多个系统输入来自一个或多个系统输出是否传送到一个或多个其他系统输出是否传送到一个或多个其他系统输入输入/输出数据的格式是否预先制定输出数据的格式是否预先制定数据使用必须使用规定的介质数据使用必须使用规定的介质用户用户谁使用谁使用有几种类型用户有几种类型用户每类用户技术怎样每类用户技术怎样中国科学技术大学中国科学技术大学软件工程软件工程需求类型过程约束资源资源构造系统需要哪些材料、人员或其他资源构造系统需要哪些材料、人员或其他资源开发人员应具有怎样的技能开发人员应具有怎样的技能文档文档需要多少文档需要多少文档文档是联机的、印刷的还是都要文档是联机的、印刷的还是都要每种文档针对哪些读者每种文档针对哪些读者标准标准需要遵循什么需要遵循什么标准标准中国科学技术大学中国科学技术大学软件工程软件工程需求类型质量需求质量需求性能性能有无执行效率、响应时间或吞吐量的约束有无执行效率、响应时间或吞吐量的约束用什么方法测量上述约束用什么方法测量上述约束有多少数据需经系统处理有多少数据需经系统处理数据收发的时间间隔等数据收发的时间间隔等可用性和人的因素可用性和人的因素每类用户需要什么样的培训每类用户需要什么样的培训用户理解并使用系统的难易程度用户理解并使用系统的难易程度系统需要在多大程度上防止用户误用系统系统需要在多大程度上防止用户误用系统安全性安全性必须控制对系统或信息的访问么必须控制对系统或信息的访问么每个用户的数据应与其他用户的隔离开么每个用户的数据应与其他用户的隔离开么每个用户的程序和其他程序或系统隔离开么每个用户的程序和其他程序或系统隔离开么需采取预防措施防盗窃或蓄意破坏么需采取预防措施防盗窃或蓄意破坏么中国科学技术大学中国科学技术大学软件工程软件工程需求类型可靠性和可用性可靠性和可用性系统检测并隔离故障么系统检测并隔离故障么规定的平均无故障时间是多少，重启时间是多少规定的平均无故障时间是多少，重启时间是多少多长时间备份一次系统，副本要放在不同地方么多长时间备份一次系统，副本要放在不同地方么可维护性可维护性维护是仅纠错还是包括改进系统维护是仅纠错还是包括改进系统系统可能在将来什么时候被什么方式破坏系统可能在将来什么时候被什么方式破坏给系统增加功能的难易程度如何给系统增加功能的难易程度如何移植系统容易否移植系统容易否精度和准确性精度和准确性数据计算的准确度有何要求，竟算精度到什么程度数据计算的准确度有何要求，竟算精度到什么程度交付时间交付时间/代价代价有预先规定的开发时间表么有预先规定的开发时间表么花在软硬件扩开发上的资金有限么花在软硬件扩开发上的资金有限么中国科学技术大学中国科学技术大学软件工程软件工程需求冲突从所有相关人员获取的需求，会遇到“需求应该是什么”的不一致请用户划分优先级请用户划分优先级绝对需要满足的绝对需要满足的非常值得要但非必须的非常值得要但非必须的可要可不要的可要可不要的按优先级排序按优先级排序重新评估和商谈重新评估和商谈技能、耐心和经验技能、耐心和经验中国科学技术大学中国科学技术大学软件工程软件工程需求文档需求的用途系统分析员和客户用需求解释对系统行为的理解系统分析员和客户用需求解释对系统行为的理解设计人员将需求作为可接收解决方案的约束设计人员将需求作为可接收解决方案的约束测试人员依需求得一套验收标准，表明确为所求测试人员依需求得一套验收标准，表明确为所求维护人员用需求来增强系统维护人员用需求来增强系统需求文档需求定义需求定义客户想要的每一件事情的完整列表客户想要的每一件事情的完整列表需求规格说明书需求规格说明书将需求重新陈述成关于要构架系统如何运转的说明将需求重新陈述成关于要构架系统如何运转的说明中国科学技术大学中国科学技术大学软件工程软件工程需求特性正确么正确么一致么一致么无冲突无冲突无二义性么无二义性么完备么完备么指定了所有约束下、所有状态下、所有可能输入和输出以指定了所有约束下、所有状态下、所有可能输入和输出以及必须的行为及必须的行为外部完备，内部完备（没有未定义项）外部完备，内部完备（没有未定义项）可行么可行么每一个需求都相关么每一个需求都相关么可测试么可测试么可跟踪么可跟踪么中国科学技术大学中国科学技术大学软件工程软件工程需求诱导的产品需要和可行性的陈述系统或产品的范围的限制性描述参与需求诱导活动的客户、用户和其他风险承担者列表系统的技术环境描述（可按功能组织的）需求的列表和应用于每个需求的领域限制一组使用场景，提供对不同运行条件下系统或产品的使用的见识为更好地定义需求而开发的任意原型中国科学技术大学中国科学技术大学软件工程软件工程需求分析和谈判需求诱导的产品是需求分析的基础。需求分析活动对需求进行分类并将他们组织为相关的子集，根据和其他需求的关系来考察每个需求，检查需求的一致性、疏忽和二义性前者解决一致性、抽象与否、是否必要、需求的来源清楚与否、可测试？后者解决多个用户的冲突的需求或在给定资源下，要求多于可实现的情况中国科学技术大学中国科学技术大学软件工程软件工程需求分析 任务确定对系统的综合要求系统功能要求系统功能要求系统性能要求系统性能要求运行要求运行要求将来可能提出的要求将来可能提出的要求分析系统的数据要求导出系统的逻辑模型修正系统开发计划确认需求开发原型系统开发原型系统可能的任务还有开发原型系统中国科学技术大学中国科学技术大学软件工程软件工程分析过程软件系统可以认为是将软件系统可以认为是将输入数据变换成输出数输入数据变换成输出数据的信息处理系统据的信息处理系统结构化分析方法就是面结构化分析方法就是面向数据流自顶向下逐步向数据流自顶向下逐步求精进行需求分析方法求精进行需求分析方法结构化方法结构化方法沿数据流图回溯沿数据流图回溯回溯初步得算法回溯初步得算法IPOIPO用户审查用户审查DFD,IPO,DFD,IPO,数据字典数据字典细化细化DFDDFD修正开发计划修正开发计划书写文档书写文档审查和复查审查和复查循环进行中国科学技术大学中国科学技术大学软件工程软件工程需求分析的基本过程采用DFD时此为基本样式，采用其他技术也需要类似处理此为基本样式，采用其他技术也需要类似处理分析追踪DFD用户复查细化DFD不需分解无补充修正有补充修正需分解中国科学技术大学中国科学技术大学软件工程软件工程文档和分析过程系统规格说明系统规格说明DFD+IPODFD+IPO数据要求数据要求数据字典数据字典+层次方框图层次方框图+Warnier+Warnier图图DBDB用户系统描述用户系统描述简单的用户手册简单的用户手册修正的开发计划修正的开发计划中国科学技术大学中国科学技术大学软件工程软件工程建模表示法实体关系图实体关系图UMLUML类图类图事件踪迹事件踪迹UMLUML时序图时序图状态机状态机UMLUML状态图状态图PetriPetri网网数据流图数据流图用例图用例图函数和关系函数和关系判定表和判定树判定表和判定树逻辑表达逻辑表达对象约束语言对象约束语言Z Z语言语言层次图层次图WarnierWarnier图图IPOIPO图图IPOIPO表表不同问题，可采用多种表示好用就好中国科学技术大学中国科学技术大学软件工程软件工程概念模型 ER模型采用实体-联系方法描述现实世界的实体，而不涉及实现方法实体实体联系联系 （基数）（基数）1:1 1:N M:N1:1 1:N M:N属性属性实体或联系的性质实体或联系的性质中国科学技术大学中国科学技术大学软件工程软件工程ER图实例关于结构职称性别姓名ID教师职务系性别姓名ID学生年级成绩学分学时课名ID课程教学1NNM中国科学技术大学中国科学技术大学软件工程软件工程ERD的补充形态关系的出现是可选的，关系的形态是关系的出现是可选的，关系的形态是0 0关系必须出现关系必须出现1 1次，则形态是次，则形态是1 1汽车厂生产汽车基数生产一种汽车形态 强制的必须生产一种汽车基数可生产多种汽车形态 强制的中国科学技术大学中国科学技术大学软件工程软件工程十字旋转门例子中国科学技术大学中国科学技术大学软件工程软件工程规范化有些数据是要长期保存的，用规范化方法减少冗余范式NFNF1NF5 冗余度 存储自身 性能 稳定性NF1NF1：属性值为原子的，无内部结构：属性值为原子的，无内部结构NF2NF2：非关键字属性均由：非关键字属性均由整个整个关键字决定关键字决定NF3NF3：非关键字属性均：非关键字属性均仅仅由整个关键字决定，非由整个关键字决定，非关键字属性值不依赖于另一个非关键字属性值关键字属性值不依赖于另一个非关键字属性值中国科学技术大学中国科学技术大学软件工程软件工程UML类图中国科学技术大学中国科学技术大学软件工程软件工程事件踪迹关于实体行为关于现实世界实体间交换的事件序列的图形描述对文档化系统行为无效中国科学技术大学中国科学技术大学软件工程软件工程UML时序图中国科学技术大学中国科学技术大学软件工程软件工程状态机单个模型中一组时间踪迹；表示动态行为和响应已发生事件时的行为变化有效中国科学技术大学中国科学技术大学软件工程软件工程UML状态图中国科学技术大学中国科学技术大学软件工程软件工程UML状态图中国科学技术大学中国科学技术大学软件工程软件工程UML状态图中国科学技术大学中国科学技术大学软件工程软件工程Petri网做状态-迁移的表示法UML协作图类似Petri圆：位置，表示活动或条件，存放令牌圆：位置，表示活动或条件，存放令牌条：变迁条：变迁箭头：将变迁与其输入位置和输出位置连接箭头：将变迁与其输入位置和输出位置连接Petri网可描述同步和并发中国科学技术大学中国科学技术大学软件工程软件工程举例：简单Petri网中国科学技术大学中国科学技术大学软件工程软件工程举例，高级Petri网中国科学技术大学中国科学技术大学软件工程软件工程数据流图DFD中国科学技术大学中国科学技术大学软件工程软件工程DFD 示例用DFD方式说明需求获取与分析过程中国科学技术大学中国科学技术大学软件工程软件工程DFD0中国科学技术大学中国科学技术大学软件工程软件工程DFD1中国科学技术大学中国科学技术大学软件工程软件工程DFD 2-1:对DFD1中的”1”进行展开中国科学技术大学中国科学技术大学软件工程软件工程DFD 3-1:对DFD2-1中的”1.1”进行展开中国科学技术大学中国科学技术大学软件工程软件工程DFD3-2:对DFD2-1的”1.2”进行展开中国科学技术大学中国科学技术大学软件工程软件工程用例中国科学技术大学中国科学技术大学软件工程软件工程函数和关系中国科学技术大学中国科学技术大学软件工程软件工程判定表函数规格说明的表格式表示可能的输入事件、条件和动作动作序列输入事件条件中国科学技术大学中国科学技术大学软件工程软件工程判定表中国科学技术大学中国科学技术大学软件工程软件工程OCL对象约束语言UML中的一个扩展精确+易读等指示出不变量约束等指示出不变量约束等中国科学技术大学中国科学技术大学软件工程软件工程形式化语言 Z形式化的需求规格说明，将集合论的变量定义组织到一个问题的完整的抽象数据类型模型中，并用逻辑来表示每个操作的前置和后置条件可作自动化证明可作自动化证明类似的有代数规格说明等类似的有代数规格说明等修改修改？输入？输入！输出！输出 查询查询中国科学技术大学中国科学技术大学软件工程软件工程中国科学技术大学中国科学技术大学软件工程软件工程SDL数据规格说明和描述语言（SDL）中的数据难度在于构造完备的、一致的和反映期望的公理中国科学技术大学中国科学技术大学软件工程软件工程中国科学技术大学中国科学技术大学软件工程软件工程图形工具层次方框图树形结构的一系列举行框描绘数据的层次结构树形结构的一系列举行框描绘数据的层次结构完整的数据结构子集1子集2子集n实际数据元素中国科学技术大学中国科学技术大学软件工程软件工程Warnier图可表明信息的逻辑组织软件工具系统软件应用软件软件产品编译程序(P2)操作系统(P1)编辑程序(P3)测试驱动程序(P4)设计辅助工具(P5)中国科学技术大学中国科学技术大学软件工程软件工程IPO图旧的主文件事务文件1.校验主纪录2.校验事务纪录3.更新主纪录有效的主纪录有效的事务纪录更新后的主文件输入处理输出次序描述了执行的顺序数据通信情况中国科学技术大学中国科学技术大学软件工程软件工程IPO表系统：模块：编号：作者：日期：被调用：调用：输入：输出：处理：局部数据元素：注释：IPO表描述算法中国科学技术大学中国科学技术大学软件工程软件工程需求和规格说明语言UMLUML用例图用例图-DFDDFD类图类图-ERDERD时序图时序图-事件踪迹事件踪迹协作图协作图-事件踪迹事件踪迹状态图状态图-状态机状态机OCLOCL特性特性-逻辑逻辑结构化方法结构化方法SDSD系统图系统图-DFD-DFDSDSD方框图方框图-DFD-DFDSDSD进程进程图图-状态机状态机中国科学技术大学中国科学技术大学软件工程软件工程需求文档需求定义需求规格说明书中国科学技术大学中国科学技术大学软件工程软件工程需求规约规约规约specificationspecification对不同的人意味着不同的事。规约对不同的人意味着不同的事。规约可以是文档、图形化模型、形式化数学模型、使用可以是文档、图形化模型、形式化数学模型、使用场景、原型或上述的任意组合场景、原型或上述的任意组合系统规约是系统和需求工程师的最终工作产品，将系统规约是系统和需求工程师的最终工作产品，将作为硬件、软件、数据库及人力分配的基础。描述作为硬件、软件、数据库及人力分配的基础。描述了基于计算机的系统的功能和性能以及将控制其开了基于计算机的系统的功能和性能以及将控制其开发的约束。发的约束。规约界定了每一个分配的系统元素，也描述了系统规约界定了每一个分配的系统元素，也描述了系统输入、输出的信息（数据和控制）输入、输出的信息（数据和控制）中国科学技术大学中国科学技术大学软件工程软件工程需求规格说明书(IEEE推荐)1 1 文档的引言文档的引言1.11.1产品的目的产品的目的1.2 1.2 产品的范围产品的范围1.3 1.3 首字母缩写词、缩略词、首字母缩写词、缩略词、定义定义1.4 1.4 参考文献参考文献1.5 SRS1.5 SRS剩余部分的概要介绍剩余部分的概要介绍 2 2 产品的总体描述产品的总体描述2.1 2.1 产品的背景产品的背景2.2 2.2 产品功能产品功能2.3 2.3 用户的特性用户的特性2.4 2.4 约束约束2.5 2.5 假设和依赖关系假设和依赖关系3 3 说明需求说明需求3.1 3.1 外部接口需求外部接口需求3.1.1 3.1.1 用户界面用户界面3.1.2 3.1.2 硬件接口硬件接口3.1.3 3.1.3 软件接口软件接口3.1.4 3.1.4 通信接口通信接口3.2 3.2 功能需求功能需求3.2.1 3.2.1 类类1 (1 (功能功能1)1)3.2.2 3.2.2 类类2(2(功能功能2)2)3.3 3.3 性能需求性能需求3.4 3.4 设计约束设计约束3.5 3.5 质量需求质量需求3.6 3.6 其他需求其他需求4 4 附录附录中国科学技术大学中国科学技术大学软件工程软件工程分析模型的结构数据字典ERDDFDSTDPSPECCSPECDSDS 数据对象描述STD 状态变迁图PSPEC 加工规约CSPEC 控制规约功能建模 DFD+加工规约数据建模 ERD行为建模 CFD+控制规约中国科学技术大学中国科学技术大学软件工程软件工程中国科学技术大学中国科学技术大学软件工程软件工程家居安全系统需求诱导需求分析和谈判需求规约系统建模需求确认需求管理中国科学技术大学中国科学技术大学软件工程软件工程产品描述我们的研究表明，家庭安全系统的市场正以每年40的比率增长，我们希望进入该市场，试图建造基于微处理器的家庭安全系统，该系统将保护和/或识别一系列不希望的“情况”，如非法入侵、火警、水灾或其他。该产品，暂时称为Safehome，将使用合适的传感器来检测每一种情况，可由房主编程，并且当有情况被检测到时，自动地给监控机构拨打电话。中国科学技术大学中国科学技术大学软件工程软件工程FAST 便利的应用规约技术facilitated application specification technique小组成员市场、软件、硬件、制造方市场、软件、硬件、制造方每个人列出上面描述的列表对象：若干烟雾检测器、若干窗和门传感器、若对象：若干烟雾检测器、若干窗和门传感器、若干运动检测器、一个报警器、一个事件、一个控干运动检测器、一个报警器、一个事件、一个控制面板、一个显示器、一次电话拨号等制面板、一个显示器、一次电话拨号等服务：设置警报器、监控传感器、电话拨号、控服务：设置警报器、监控传感器、电话拨号、控制面板编程、读显示器制面板编程、读显示器开发约束：成本、界面、接口开发约束：成本、界面、接口性能列表：性能列表：中国科学技术大学中国科学技术大学软件工程软件工程控制面板 小规约安装大小包含标准的12键键盘和功能键包含LCD显示所有用户的交互通过键发生被用户启动或关闭系统软件提供交互帮助、回显被连接到所有传感器可用遥控器中国科学技术大学中国科学技术大学软件工程软件工程功能模型软件进行信息变换的功能，系统工程师关注于特定的功能。功能模型从单个语境层开始，经过一系列的迭代，越来越多的功能细节被提供，直到获得所有系统功能的完全描述SafehomeConfigure Systemmonitor sensorsInterface with user中国科学技术大学中国科学技术大学软件工程软件工程细化SafehomeConfigure Systemmonitor sensorsInterface with userPull for sensor eventActivate alarm funtionsRead sensor statusIdentify event typeActivate/deactivatesensorDial phone numberActivate audible alarm中国科学技术大学中国科学技术大学软件工程软件工程ERD的技巧1.1.需求收集和分析过程中，要求可与列出应用或业务需求收集和分析过程中，要求可与列出应用或业务过程涉及的过程涉及的“事物事物”，这些，这些“事物事物”演化成一组输演化成一组输入和输出的断乎据对象及生产和消费信息的外部载入和输出的断乎据对象及生产和消费信息的外部载体；体；2.2.一次考虑一个对象，分析员和客户决定这个对象与一次考虑一个对象，分析员和客户决定这个对象与其他对象间是否存在连接；其他对象间是否存在连接；3.3.当连接存在时，分析员和客户创建一个或多个对象当连接存在时，分析员和客户创建一个或多个对象关系对；关系对；4.4.对每个对象关系对，考察其基数及形态；对每个对象关系对，考察其基数及形态；5.5.迭代进行迭代进行2 24 4步，直到定义了所有的对象关系对。步，直到定义了所有的对象关系对。（可发现一些遗漏）（可发现一些遗漏）中国科学技术大学中国科学技术大学软件工程软件工程ERD的技巧（续）6.定义每个实体的属性；7.形式化并评审实体关系图；8.重复17步，直到数据建模完成。中国科学技术大学中国科学技术大学软件工程软件工程创建ERD键盘房主安全系统监控服务传感器安全系统传感器监视启/停测试编程中国科学技术大学中国科学技术大学软件工程软件工程DFD的技巧DFD 0应将软件/系统描述成一个处理；应仔细标记主要的输入和输出；通过把隔离表示在下一层的候选加工、数据对象和存储来开始精化过程；所有的数据流和处理应使用有意义的名称标记；当从DFD n到DFD n+1时要维护信息流连续性；一次精化一个处理。简单办法：对描述语境级别的处理叙述进行“语法扫描”所有动词和名词隔离开来。中国科学技术大学中国科学技术大学软件工程软件工程创建DFD 0键盘键盘 显示器电话线报警传感器安全系统用户命令和数据传感器状态显示信息报警类型电话号码DFD 0中国科学技术大学中国科学技术大学软件工程软件工程处理叙述Safehome软件使得房主能够在安装时配置安全系统、监控所有和安全系统连接的传感器以及通过包含在safehome控制面板中的键盘和功能键与房主交互。在安装过程中，safehome控制面板被用于“编程”和配置系统，每个传感器被赋予一个编号和类型，设置密码以启动和关闭系统时做验证，且当传感器事件发生时，可用输入的电话号码拨号；中国科学技术大学中国科学技术大学软件工程软件工程处理叙述（续）当识别出某个传感器事件时，软件激活系统上的报警器，在一定的延迟时间（房主在配置时指定）后，软件拨通监控服务的电话并提供位置信息，报告检测到的事件的性质，电话号码将每20秒重拨一次，直至电话接通。所有和safehome的交互由用户交互子系统管理，该子系统读入键盘和功能键的输入，在LCD显示屏上显示提示信息和系统状态。键盘交互采用下面的形式中国科学技术大学中国科学技术大学软件工程软件工程创建DFD 1键盘与用户交互处理密码配置系统激活/停止系统监视传感器显示信息和状态键盘 显示器电话线报警传感器配置信息再作相应细化中国科学技术大学中国科学技术大学软件工程软件工程创建CFD键盘与用户交互处理密码配置系统激活/停止系统监视传感器显示信息和状态键盘 显示器电话线报警传感器配置信息事件驱动产生控制信息处理时关注时间和性能中国科学技术大学中国科学技术大学软件工程软件工程创建控制流数据驱动数据驱动事件驱动控制流，产生控制信息而非数据信息事件驱动控制流，产生控制信息而非数据信息事件或控制项的实现是事件或控制项的实现是BOOLBOOL值值列出所有被软件列出所有被软件“读读”的传感器的传感器列出所有的中断条件列出所有的中断条件列出所有被操作者开动的列出所有被操作者开动的“开关开关”列出所有的数据体哦阿见列出所有的数据体哦阿见回忆对处理叙述进行的回忆对处理叙述进行的“扫描扫描”，回顾所有可能为，回顾所有可能为CSPECCSPEC的输入的输入/输出的输出的“控制项控制项”通过标识其状态描述系统的行为，标识这些状态时如何达通过标识其状态描述系统的行为，标识这些状态时如何达到的，并定义状态的变迁到的，并定义状态的变迁关注所有可能的疏忽关注所有可能的疏忽中国科学技术大学中国科学技术大学软件工程软件工程其余工作控制规约状态变迁图状态变迁图程序激活表程序激活表加工规约数据字典中国科学技术大学中国科学技术大学软件工程软件工程状态变迁图 STD指明作为外部实践的结果，系统将如何动作STD表示了系统的各种行为模式(状态)及在状态间进行变迁的方式软件控制的附加信息包含在控制规约(CSPEC)中中国科学技术大学中国科学技术大学软件工程软件工程系统建模系统模型模板输入处理处理和控制功能输出处理维护和自测试用户界面处理中国科学技术大学中国科学技术大学软件工程软件工程关于需求和确认的更多知识中国科学技术大学中国科学技术大学软件工程软件工程如何做需求需求诱导需求分析和谈判需求规约系统建模需求确认需求管理中国科学技术大学中国科学技术大学软件工程软件工程需求故障的数目统计统计1 13035KLoc3035KLoc项目中，项目中，35%35%故障来自设计活动故障来自设计活动4080KLoc4080KLoc项目中，项目中，10%10%来自需求，来自需求，55%55%来自设计来自设计6585KLoc6585KLoc项目中，项目中，10%10%来自需求，来自需求，4055%4055%来自设计来自设计统计统计2 2中型项目的中型项目的48%48%故障来自于不正确或错误解释的功能规格故障来自于不正确或错误解释的功能规格说明或需求说明或需求统计统计3 380%80%接口故障和接口故障和20%20%实现故障是需求不完备或遗漏造成实现故障是需求不完备或遗漏造成统计统计4 4所有系统故障的所有系统故障的44%44%是在规格说明阶段出现的是在规格说明阶段出现的统计统计5 5安全相关接口的故障安全相关接口的故障4867%4867%在于错误理解需求规格说明在于错误理解需求规格说明中国科学技术大学中国科学技术大学软件工程软件工程需求确认检查规约以保证所有系统需求已被无歧义地称述，不一致性、疏忽和错误已被检测出并纠正，规约符合过程、项目和产品建立的标准正确性、一致性、无二义性、完备性、相关性、正确性、一致性、无二义性、完备性、相关性、可测试性、可跟踪性可测试性、可跟踪性符合需求特性符合需求特性需求确认的主要机制是正式的技术评审评审小组包括系统工程师、客户、用户和其他风险承担者。中国科学技术大学中国科学技术大学软件工程软件工程需求特性正确么正确么一致么一致么无冲突无冲突无二义性么无二义性么完备么完备么指定了所有约束下、所有状态下、所有可能输入和输出以指定了所有约束下、所有状态下、所有可能输入和输出以及必须的行为及必须的行为外部完备，内部完备（没有未定义项）外部完备，内部完备（没有未定义项）可行么可行么每一个需求都相关么每一个需求都相关么可测试么可测试么可跟踪么可跟踪么中国科学技术大学中国科学技术大学软件工程软件工程确认和验证技术确认确认走查走查多人难协调会议时多人难协调会议时阅读阅读会谈会谈评审评审-最常见最常见检查单检查单检查功能和关系的模型检查功能和关系的模型场景场景原型原型模拟模拟正式审查正式审查验证验证交叉引用交叉引用模拟模拟一致性检查一致性检查完备性检查完备性检查检查不可达状态或转移检查不可达状态或转移检查检查模型检查模型检查数学证明数学证明检查需求的定义是否准确反映了客户的需要检查一个文档或制品是否符合另一个文档或制品中国科学技术大学中国科学技术大学软件工程软件工程正式的技术评审目标：在软件的任何一种表示形式中发现功能、逻辑或在软件的任何一种表示形式中发现功能、逻辑或实现的错误实现的错误证实经过评审的软件满足要求证实经过评审的软件满足要求保证软件的表示符合预定义的标准保证软件的表示符合预定义的标准得到以一种一致的方式开发的软件得到以一种一致的方式开发的软件使项目更易于管理使项目更易于管理提高项目连续性和培训提高项目连续性和培训后备人员后备人员（FTRFTR的进行使的进行使大量人员对软件系统中原本不熟悉的部分更了解）大量人员对软件系统中原本不熟悉的部分更了解）中国科学技术大学中国科学技术大学软件工程软件工程正式的技术评审评审会议评审会议计划、控制和参与；各方代表检查各自需求，开会识别问计划、控制和参与；各方代表检查各自需求，开会识别问题题评审报告和记录评审报告和记录评审内容评审内容系统规定的目标和目的系统规定的目标和目的将需求与目的、目标比较，确定所有需求是必要的将需求与目的、目标比较，确定所有需求是必要的评审系统所处环境，检查与其他系统的接口，检查接口描评审系统所处环境，检查与其他系统的接口，检查接口描述的正确性和完备性述的正确性和完备性客户评审信息流和功能，验证需求反映了其需要和意图；客户评审信息流和功能，验证需求反映了其需要和意图；软件开发代表评审功能和约束，证实其可实现；软件开发代表评审功能和约束，证实其可实现；评价并记录可能存在的风险，并讨论和比较可选方案，并评价并记录可能存在的风险，并讨论和比较可选方案，并对采用某方案达成一致对采用某方案达成一致对测试系统进行讨论：需求增长后如何确认需求；谁提供对测试系统进行讨论：需求增长后如何确认需求；谁提供测试数据；分阶段开发的系统，各阶段分别测试哪些需求测试数据；分阶段开发的系统，各阶段分别测试哪些需求中国科学技术大学中国科学技术大学软件工程软件工程正式的技术评审评审原则评审原则评审产品，而不是评审生产者评审产品，而不是评审生产者指定日程并遵守日程指定日程并遵守日程限制争论和辩驳限制争论和辩驳对每个问题都发表见解，但不要试图解决所有记录的问题对每个问题都发表见解，但不要试图解决所有记录的问题做书面笔记做书面笔记限制参与者人数并坚持事先做准备限制参与者人数并坚持事先做准备为每一个可能要评审的工作产品建立一个检查表为每一个可能要评审的工作产品建立一个检查表为为FTRFTR分配资源和时间分配资源和时间对每个参与者进行培训对每个参与者进行培训不不评论以前评论以前所作的评审所作的评审中国科学技术大学中国科学技术大学软件工程软件工程如何做需求需求诱导需求分析和谈判需求规约系统建模需求确认需求管理中国科学技术大学中国科学技术大学软件工程软件工程需求管理需求会变更，且变更需求的欲望贯穿于系统的整个生存周期。需求管理是一组用于帮助项目组在项目进展中的任何时候去标识、控制和跟踪需求的活动。需求管理过程需求管理过程定义需求定义需求需求生成的设计模块需求生成的设计模块实现设计的程序代码实现设计的程序代码验证系统功能的测试验证系统功能的测试描述系统的文档描述系统的文档标识标识:F09 F09F F功能功能 D D数据数据 B B行为行为 I I接口接口 P P输出输出中国科学技术大学中国科学技术大学软件工程软件工程需求跟踪中国科学技术大学中国科学技术大学软件工程软件工程需求管理类属跟踪表特征跟踪表特征跟踪表来源跟踪表来源跟踪表依赖跟踪表依赖跟踪表子系统跟踪表子系统跟踪表接口跟踪表接口跟踪表中国科学技术大学中国科学技术大学软件工程软件工程何时进入设计阶段需求分析的结束是设计的开始需求分析的结束是设计的开始需求的数量有助于估算工作量需求的数量有助于估算工作量需求稳定程度需求稳定程度需求改变次数少，表明系统理解稳定需求改变次数少，表明系统理解稳定何时可以进入下一阶段何时可以进入下一阶段?评分法，设计和测试人员对需求的理解进行评价评分法，设计和测试人员对需求的理解进行评价1 1分，完全理解该系统，曾进行过类似系统设计，依此需求开发无分，完全理解该系统，曾进行过类似系统设计，依此需求开发无问题问题2 2分，某些部分是新的，但与之前成功设计过的需求无根本区别分，某些部分是新的，但与之前成功设计过的需求无根本区别3 3分，某些部分与以前接触有很大不同，但设计人员理解这些需求，分，某些部分与以前接触有很大不同，但设计人员理解这些需求，并认为能够据此开发出好的设计并认为