软件生命周期与软件过程模型

1234用户用户需求获取需求获取需求规需求规约约需求描需求描述述需求分析需求分析设计设计设计规设计规约约详细设计详细设计模块设模块设计书计书编码编码程序程序已测试已测试模块模块单元测试单元测试集成集成已集成已集成软件软件集成测试集成测试软件软件确认测试确认测试已确认的已确认的软件软件运行测试运行测试软件产软件产品品评评审审评评审审评评审审评评审审评评审审静 态 检静 态 检查查测试用例测试用例集成计划集成计划建立文档建立文档软件开发软件开发V模型模型评评审审评评审审评评审审56789101112软件过程软件过程13141516可行性研究可行性研究需求分析需求分析概要设计概要设计详细设计详细设计实实 现现集成测试集成测试确认测试确认测试使用与维护使用与维护1718可行性研究可行性研究需求分析需求分析概要设计概要设计详细设计详细设计实实 现现组装测试组装测试确认测试确认测试使用与维护使用与维护19原始要求原始要求正确的规格说明正确的规格说明 错误的规格说明错误的规格说明正确的设计正确的设计错误的设计错误的设计对错误说明的设计对错误说明的设计正确编码正确编码正确功能正确功能错误编码错误编码对错误设计对错误设计的编码的编码对错误说明对错误说明的编码的编码可改正的错误可改正的错误不可改正不可改正的错误的错误潜伏的错误潜伏的错误不完善的软件产品不完善的软件产品需求分析需求分析设计设计编码编码测试测试软件缺陷产生的原因软件缺陷产生的原因20两个概念两个概念 原型原型 软件演化软件演化(进化进化)21项目日历时间项目日历时间软软件件功功能能性性和和特特征征1 12 23 34 45 5第第2 2次增量发布次增量发布增量增量2 21 12 23 34 45 5第第n n次增量发布次增量发布增量增量n n1 12 23 34 45 5第第1 1次增量发布次增量发布增量增量1 15 5部署（发布，反馈）部署（发布，反馈）4 4构造（编码，测试）构造（编码，测试）3 3建模（分析，设计）建模（分析，设计）2 2计划计划1 1交流交流22项目日历时间项目日历时间软软件件功功能能性性和和特特征征1 12 23 34 45 5第第2 2次增量发布次增量发布增量增量2 21 12 23 34 45 5第第n n次增量发布次增量发布增量增量n n1 12 23 34 45 5第第1 1次增量发布次增量发布增量增量1 15 5部署（发布，反馈）部署（发布，反馈）4 4构造（编码，测试）构造（编码，测试）3 3建模（分析，设计）建模（分析，设计）2 2计划计划1 1交流交流23242526 初步需求初步需求分析分析 快速设计快速设计 建造原型建造原型 用户评估原用户评估原型（新需求）型（新需求）开发产品开发产品 开始开始 结束结束 2728293031 演化模型之演化模型之 螺旋模型螺旋模型3233343536373839404142沟通沟通策划策划 建模建模构建构建部署部署 交付 反馈开始分析 设计编码 测试项目估算 制定进度计划 风险分析43 喷泉模型喷泉模型44 45 软件的某个部分通常被重复多次，相关对象在每软件的某个部分通常被重复多次，相关对象在每次迭代中随之加入渐进的软件成分。各活动之间次迭代中随之加入渐进的软件成分。各活动之间无明显边界，例如设计和实现之间没有明显的边无明显边界，例如设计和实现之间没有明显的边界，这也称为界，这也称为“喷泉模型的无间隙性喷泉模型的无间隙性”。由于对。由于对象概念的引入，表达分析、设计及实现等活动只象概念的引入，表达分析、设计及实现等活动只用对象类和关系，从而可以较容易地实现活动的用对象类和关系，从而可以较容易地实现活动的迭代和无间隙。迭代和无间隙。46 喷泉模型不像瀑布模型那样，需要分析活动结束喷泉模型不像瀑布模型那样，需要分析活动结束后才开始设计活动，设计活动结束后才开始编码后才开始设计活动，设计活动结束后才开始编码活动。该模型的各个阶段没有明显的界限，开发活动。该模型的各个阶段没有明显的界限，开发人员可以同步进行开发。人员可以同步进行开发。优点是可以提高软件项目开发效率，节省开发时优点是可以提高软件项目开发效率，节省开发时间，适应于面向对象的软件开发过程。间，适应于面向对象的软件开发过程。由于喷泉模型在各个开发阶段是重叠的，因此在由于喷泉模型在各个开发阶段是重叠的，因此在开发过程中需要大量的开发人员，因此开发过程中需要大量的开发人员，因此不利于项不利于项目的管理目的管理。此外这种模型要求严格管理文档，使得此外这种模型要求严格管理文档，使得审核的难审核的难度加大度加大，尤其是面对可能随时加入各种信息、需，尤其是面对可能随时加入各种信息、需求与资料的情况。求与资料的情况。47软件增量软件增量48基于构件的软件开发模型基于构件的软件开发模型 教材教材P24形式化方法模型形式化方法模型 教材教材P25 形式化方法是建立在严格数学基础上的一种形式化方法是建立在严格数学基础上的一种软件开发方法。软件开发的全过程中，从需求分软件开发方法。软件开发的全过程中，从需求分析、规约、设计、编程、系统集成、测试、文档析、规约、设计、编程、系统集成、测试、文档生成，直至维护等各个阶段，凡是采用严格的数生成，直至维护等各个阶段，凡是采用严格的数学语言，具有学语言，具有精确的数学语义精确的数学语义的方法，都称为形的方法，都称为形式化方法。式化方法。495051525354