第4章 软件工程.pptVIP

螺旋模型 * * 将瀑布模型和快速原型模型结合起来，强调了其他模型所忽视的风险分析，特别适合于大型复杂的系统。 螺旋模型沿螺线进行若干次迭代，将工程分为四个活动： 　（1）制定计划：确定软件目标，选定实施方案，弄清项目开发的限制条件； 　（2）风险分析：分析评估所选方案，考虑如何识别和消除风险； 　（3）实施工程：实施软件开发和验证； 　（4）客户评估：评价开发工作，提出修正建议，制定下一步计划。 　　螺旋模型由风险驱动，强调可选方案和约束条件从而支持软件的重用，有助于将软件质量作为特殊目标融入产品开发之中。 螺旋模型 * * 螺旋模型 特点 瀑布模型+快速原型+风险分析 迭代过程 一个螺旋式周期 确定目标，选择方案，选定完成目标的策略 风险角度分析该策略 启动一个开发阶段 评价前一步的结果，计划下一轮的工作 螺旋模型的项目适用： 对于新近开发，需求不明确的情况下，适合用螺旋模型进行开发，便于风险控制和需求变更！ * * 螺旋模型 优点 1）设计上的灵活性，可以在项目的各个阶段进行变更。 2）以小的分段来构建大型系统，使成本计算变得简单容易。 3）客户始终参与每个阶段的开发，保证了项目不偏离正确方向以及项目的可控性。 4）随着项目推进，客户始终掌握项目的最新信息 ， 从而他或她能够和管理层有效地交互。 5）客户认可这种公司内部的开发方式带来的良好的沟通和高质量的产品。 缺点 很难让用户确信这种演化方法的结果是可以控制的。 建设周期长，而软件技术发展比较快，所以经常出现软件开发完毕后，和当前的技术水平有了较大的差距，无法满足当前用户需求。 * * 面向对象模型 对象Object 类Class 继承Inheritance 消息Message 面向对象 对象+类+继承+消息通信 * * 构件集成模型 构件集成模型利用预先封装好的软件构件来构造应用软件系统，它融合了螺旋模型的很多特征，支持软件开发的迭代方法。 开发活动从描述候选类开始，通过检查软件系统处理的数据以及操作这些数据的方法，把相关的数据和方法封装成一个类，然后到构件库中查找这个类。 如果已经存在，就从库中提取出来以供复用； 如果候选类不存在，则采用面向对象的方法使它实现，并把它存储到构件库中。 通过集成从构件库中提取的已有类和为了满足应用程序的特定需要而构建的新类，即可得到待开发软件的第一个迭代。然后进入下一轮螺旋周期，继续进行构件集成的迭代。 * * 构件集成模型 * * 构件集成模型 特点 面向对象 基于构件库 融合螺旋模型特征 支持软件开发的迭代方法 软件重用 * * 转换模型 该模型结合了形式化软件开发方法和程序自动生成技术，采用形式化需求规格说明和变换技术等技术手段，生产目标程序系统。 ??软件需求分析确定以后，选用某种形式化的需求规格说明语言描述软件规格说明，可以生成形式化的规格说明。 为了确认该形式化规格说明与软件需求的一致性，还可以在形式化规格说明的基础上开发一个软件原型， 让用户对该软件原型系统的界面，功能和性能进行确认，必要时，可对形式化需求说明和原型进行修改，直到形式化规格说明能正确反映用户需求为止。 然后进行一系列的人机交互或全自动的程序变换，直到生成计算机系统可以接受的目标代码。 * * 转换模型 形式化 规格说明 与需求比较后修正 变换2 变换1 变换n 测试 形式化开发记录 系统需求 目标系统 * * 转换模型 特点 形式化软件开发方法 形式化需求规格说明 变换技术 程序自动生成技术 确保正确 * * 净室模型 净室模型是一种形式化的增量开发模型。基本思想是力求在分析和设计阶段就消除错误，确保正确，然后在无缺陷或“洁净”的状态下实现软件的制作。 ???和增量模型一样，净室开发把软件看成一系列的增量，每个增量是一个形式化方法表示的“盒”。当需求收集结束后，就用盒结构表示分析和设计模型。这种“盒”是在某个特定的抽象层次上对系统（或系统的某些方面）的一次封装。完成了盒结构设计之后，先对设计的软件构件进行正确性检验；通过正确性验证后，再将形式化的盒结构设计转换为适当的程序设计语言，并进行源代码的正确性验证；接着开始统计性使用测试，即根据统计样本得出使用分布概率，按此概率进行随机测试；以上工作全部完成后，还要对增量进行集成前的认证。 * * 净室模型 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明 代码生成 与检查 测试计划 认证 需求 收集 盒结构 规约 形式化 设计 统计性使 用测试 正确性 证明