软件工程导论-江苏科技大学计算机学院.PPT

喷泉模型特点 主要用于支持面向对象开发过程体现了软件创建所固有的迭代和无间隙的特征 可重用部件组装模型(构件集成模型) 使用重用技术的软件工程模型 构件(components)：可重用的软件成份 可复用性（Reusability） 集成化软件开发环境（ISEE） 可重用部件组装模型 用户 通信 计划 产品开发及发布 用户 评估 风险 分析 标志候 选构件 查找 构件 若存在则 提取构件 若不存在则 构造构件 进行下 一次迭代 将新构件 存入库中 基于构件的软件工程(CBSE)过程模型 构 件 开 发 分析 设计 编程 测试 领域分析 系统 测试 构件提交 领域专家经验 现有系统资料 领域构 件需求 构件/构架库 领域构架 领 域 构 件 系统 开发 系统专用构件 应用 系统 构件生产线 领域构架 领域构件 问题域 用户需求 系统生产线 系 统 组 装 分析 设计 编程 构架细化 专 用 构 件 开 发 分析 设计 编程 测试 软 件 生 产 线 应用构件 提取车间 构件生 产车间 标准规范 与 质量保证 1基础构件，2功能构件 3接口构件，4用户界面构件 应用 构件库 构件库 组装 车间 领域 1 领域 2 应用 系统 ... 1 2 3 4 6. 形式化方法模型 转换模型(Transformational Model) 净室模型(Cleanroom Model) 转换模型 形式化 规格说明 与需求比 较后修正 形式化开发记录 变换n 变换2 变换1 测试 系统需求 目标系统 … … 形式化规格语言及其变换技术 基于模型的规格说明及其变换技术 基于代数结构及其变换技术 基于时序逻辑的规格说明和验证技术 基于可视形式化技术 净室模型(形式化的增量开发模型) 基于思想： 力求在分析和设计阶段就消除错误， 确保正确，然后在无缺陷或“洁净”的状态 下实现软件的制作。 三个关键技术： 置于统计过程控制之下的增量开发 基于函数的规范、设计、验证 统计测试和软件认证 净 室 模 型 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #2 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 . . . . . . . . . . . . 作业：习题1，1、3、7题。 * * * 第一个协软件的人是Ada（Augusta Ada Lovelace），在1860年代他尝试为Babbage（Charles Babbage）的机械式计算机写软件。尽管他们的努力失败了，但他们的名字永远载入了计算机发展的史册。 在二十世纪五十年代， 软件伴随着第一台电子计算机的问世诞生了。以写软件为职业的人也开始出现，他们多是经过训练的数学家和电子工程师。二十世纪六十年代，美国大学里开始出现授予计算机专业的学位，教人们写软件。 * * * 不带反馈环的，基本上是顺序的。因为 --原型系统已通过与用户交互而得到验证。 --开发人员建立原型时已得到很多知识。 本质：快速，第一个系统常常抛弃（理想） 理想上，原型可以作为标示软件需求的一种机制。如果建立了可运行原型，开发者就可以在此基础上试图利用已有的程序片断或使用工具（报表生成器、窗口管理器等）来进快生成工作程序。 但当原型已经完成了上述目的之后，我们将如何处理它们呐？Brook 给出了一个答案： “在大多数项目中，建造的第一个系统很少是可用的。它可能太慢，太大，难以使用或三者皆有。没有其它选择，只能重新开始，虽然痛苦，但会得到更好的结果。建造一个经过重新设计的版本，解决了上述的问题……。当使用了新的系统概念或新技术时，你应该建造一个抛弃型的系统，因为即使是最好的计划也不可能是无所不知的，第一次就能完全正确。因此，管理上的问题不是你是否要建造一个指导系统，然后抛弃它，你必须这么做。唯一的问题是：是否需要事先计划好建造一个抛弃型系统，或是承诺要将抛弃型系统交付给用户。” * （1） 原型系统已经通过与用户交互而得到验证，据此产生的规格说明文档正确地描述了用户需求，因此，在开发过程的后续阶段不会因为发现了规格说明文档的错误而进行较大的返工。 （2） 开发人员通过建立原型系统已经学到了许多东西（至少知道了“系统不应该做什么，以及怎样不去做不该做的事情”），因此，在设计和编码阶段发生错误的可能性也比较小，这自然减少了在后续阶段需要改正前面