第01章软件工程基本原理.pptVIP

三、软件 工程的内容 基于知识的模型 基于知识的模型又称智能模型，它把瀑布模型和专家系统结合在一起。该模型在开发的各个阶段都利用相应的专家系统来帮助软件人员完成开发工作，使维护在系统需求说明一级上进行。为此，建立了各阶段所需要的知识库，将模型、相应领域知识和软件工程知识分别存人数据库，以软件工程知识为基础的生成规则构成的专家系统与含有应用领域知识规则的其他专家系统相结合，构成了该应用领域的开发系统 变换模型 变换型开发方法是一种形式化软件开发方法。它从软件需求的形式化规格说明出发，经过一系列的程序变换，得到最终的程序系统。变换模型主要用于软件的形式化开发方法，一个形式化的软件开发方法要提供一套思维方法和描述开发手段，如规范描述的原则、程序开发的一般过程、描述语言等，使开发者能利用数学概念和表示方法恰当合理地构造形式规范，根据开发过程的框架及设计原则进行规范描述和系统化的设计，并对规范的性质和设计的步骤进行分析的验证。 第五节 软件开发模型 一、软件生存周期模型的概念： 软件生存周期模型是从软件项目需求定义直至软件经使用后废弃为止，跨越整个生存周期的系统开发、运行和维护所实施的全部过程、活动和任务的结构框架。 瀑布模型 按照传统的瀑布模型来开发软件，有以下特点： 1、阶段间有顺序性和依赖性； 2、推迟实现的观点； 3、质量保证的观点； 需求分析 验证 规格说明 验证 设计 验证 编码 测试 综合测试 维护 优点：可强迫开发人员采用规范的方法；严格规定了每个阶段必须提交的文档；要求每个阶段交出的产品都必须经过质量保证小组的仔细验证。 需求分析 验证 实线箭头表示开发过程；虚线箭头表示维护过程。 反馈线 开发过程 维护过程 快速原型是快速建立起来的可以在计算机上运行的程序，完成的功能是最终产品能完成功能的一个子集。 快速原型模型不带反馈环，软件开发基本上是线形顺序进行的。 1、原型系统已经通过与用户交互得到验证；开发人员在建立原型中学到了许多东西； 快速原型 验证 规格说明 验证 设计 验证 编码 测试 综合测试 维护 变化的需求 验证 实线箭头表示开发过程；虚线箭头表示维护过程。 开发过程 维护过程 快速原型模型 把软件产品作为一系列的增量构件来设计、编码、集成和测试。每个构件由多个相互作用的模块构成，并能完成特定的功能。每个增量构件实现软件的基本需求，提供最核心的功能。应该使构件的规模适中。 分解的约束条件：当把新构件集成到现有软件中时，所形成的产品必须是可测试的。 分批地逐步向用户提交产品，每次提交一个满足用户需求子集的可运行产品。 增量模型（渐增模型) 增量模型的优点： 1、能在较短的时间内向用户提交可完成一些有用的工作的产品。 2、逐步增加产品功能可以使用户有较充裕的时间学习和适应新产品。 需求分析 验证 规格说明 验证 概要设计 验证 针对每个构件，完成详细设计、编码和集成，经测试后交付给用户 维护 增量模型 规格说明 设计 交付客户 编码和集成 构件1： 规格说明 设计 交付客户 编码和集成 构件2： 规格说明 设计 交付客户 编码和集成 构件n： … … … 风险更大的增量模型 软件开发的风险： 1、 产品交付用户之后用户可能不满意； 2、到交付日期后软件可能还未开发出来； 3、实际开发成本可能超过预算； 4、产品完成之前一些关键的开发人员可能“跳槽”了； 5、 聘请不到需要的专业人员； 基本思想：使用原型及其他方法来尽量降低风险。可看作在每个阶段之前都增加了风险分析过程的快速原型模型。螺旋线每个周期对应一个开发阶段。 螺旋模型 快速原型 验证 规格说明 验证 设计 验证 编码 测试 综合测试 维护 变化的需求 验证 风险分析 风险分析 风险分析 风险分析 风险分析 风险分析 简化的螺旋模型 螺旋模型的基本思想：使用原型及其他方法来尽量降低风险。 简化的螺旋模型可看作在每个阶段都增加了风险分析过程的快速原型模型。 完整的螺旋模型 计划下一阶段 确定目标，选择方案，设定约束条件 各步骤的进度 风险分析 可运行的原型 风险分析 风险分析 风险分析 原型3 原型2 原型1 评估方案，识别并排除风险 操作概念 详细设计 设计验证与确认 软件产品设计 需求确认 软件需求 实现 集成与测试计划 编码 单元测试 集成测试 验收测试 开发计划 需求计划与生命周期计划 模拟、模型、基准 开发验证下一级产品 当前累计的开发费用 每个阶段开始时（左上象限）的任务是：确定该项目的目标、为完成这些目标选择方案及设定这些方案的约束条件。接下来的任务是