软件工程1-2-史济民资料.ppt

快速原型模型 特点 “逼真”的原型可以使用户迅速作出反馈。 循环回溯和迭代：非线性模型。 使用快速开发工具。 种类 渐进型：对原型补充和修改获得最终系统。 抛弃型：原型废弃不用。 应防止的偏向 舍不得抛弃，从而影响软件质量。 2.3 软件演化模型 演化开发模型：使所开发的软件在迭代中逐步完善，是渐进式的开发模型，也称为迭代化开发模型。 增量模型（incremental model） 螺旋模型（spiral model） 构件集成模型（component integration model） 增量模型 增量模型是瀑布模型的顺序特征与原型法的迭代特征相结合的产物，把软件看作一系列相互联系的增量，每次迭代完成一个增量。 增量 小而可用的软件。 第一个增量通常是软件的核心。 特点 在前面增量的基础上开发后面的增量。 每个增量的开发可用瀑布或快速原型模型。 每个增量开发的顺序性和总体的迭代性相结合。 增量模型 构件1： 需求 设计 实现和集成 交付客户 构件2： 需求 设计 实现和集成 交付客户 构件3： 需求 设计 实现和集成 交付客户 构件n： 需求 设计 实现和集成 交付客户 增量模型 规格说明组 设计组 实现和集成组 螺旋模型 特点 瀑布模型（顺序性、边开发边复审）+快速原型（迭代性） 风险分析-〉发现、控制风险 一个螺旋式周期 计划：确定目标，选择方案，选定完成目标的策略 风险分析：从风险角度分析该策略 开发：启动一个开发活动 评审：评价前一步的结果，计划下一轮的工作 螺旋模型 构件集成模型 构件集成模型主要适用于面向对象的软件开发。 面向对象的基本概念 对象Object 类Class 继承Inheritance 消息Message 面向对象 对象+类+继承+消息通信 构件集成模型 构件 在某个领域内具有通用性，可以复用的软件部件 将可以复用的构件存储起来，形成构件库 特点 面向对象 基于构件库 融合螺旋模型特征 支持软件开发的迭代方法 软件复用 构件集成模型 2.4 形式化方法模型 形式化方法模型：基于程序变换和验证技术的软件开发 转换模型（transformational model） 净室模型（cleanroommodel） 转换模型 开发过程 第一步：确定形式化需求规格说明书（使用形式化语言） 第二部步：进行自动的程序变换（由变换系统完成，产生形式化开发记录） 第三步：针对形式化开发记录进行测试 特点 形式化软件开发方法 基于模型的，基于代数结构的，基于时序逻辑的 形式化需求规格说明 变换技术 程序自动生成技术 确保正确 转换模型 形式化 规格说明 与需求比较后修正 变换2 变换1 变换n 测试 形式化开发记录 系统需求 目标系统 转换模型 净室模型 净室思想 在分析和设计阶段消除错误。 在“洁净”状态下实现软件制作。 增量模型 把软件看成一系列的增量。每个增量是一个用形式化方式表示的“盒”。 形式化 盒结构表示分析和设计。 正确性验证。 净室模型 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 增量1 增量2 增量n 净室模型 软件过程模型的特点汇总 开发模型 特 点 适用场合 瀑布模型 线性模型，每一阶段必须完成规定的文档 需求明确的中、小型软件开发 快速原型模型 用户介入早，通过迭代完善用户需求，原型废弃不用 需求模糊的小型软件开发 增量模型 每次迭代完成一个增量，可用于OO开发 容易分块的大型软件开发 螺旋模型 典型迭代模型，重视风险分析，可用于OO开发 具有不确定性大型软件开发 构件集成模型 软件开发与构件开发平行进行 领域工程、行业的中型软件开发 转换模型 形式化的规格说明，自动的程序变换系统 理想化模型，尚无成熟工具支持 净室模型 形式化的增量开发模型，在洁净状态下实现软件制作 开发团队熟悉形式化方法，中小型软件开发 2.5 统一过程和敏捷过程 统一过程 Rational Unified Process（RUP）描述了软件开发中各个环节应该做什么、怎么做、什么时候做以及为什么要做，描述了一组以某种顺序完成的活动。 敏捷过程 Agile Development是一种以人为核心、迭代、循序渐进的开发方法，其软件开发过程称为“敏捷过程”。 RUP Rational Unified Process 将软件开发分为四个阶段： 初始（先启） – 定义整个项目的范围； 细化（精化） – 制定项目计划、描述功能、