软件工程SoftwareEngineering主讲人刘海岩-Read.pptVIP

* * 变换模型 形式化 规格说明 与需求比 较后修正 形式化开发记录 变换n 变换2 变换1 测试 系统需求 目标系统 … * * 两种技术： ? 基于模型的规格说明及其变换技术 基于模型的技术使用数学上的结构如集合和函数为系统建模。它们能展现系统的状态以简化对某些行为的描述。基于模型的描述语言及方法如Z、VDM(Vienna Definition Method)、B、Petri Nets等。 ? 基于代数结构及其变换技术 代数方法适合于对接口的描述。这里接口被定义为一组对象类或抽象数据类型的集合，用接口操作之间的关系来刻画系统。 * * 特点： ? 该模型迫使对系统需求的分析在软件开发的早期阶段完成。在这个阶段改正错误比在系统被交付之后修改错误要经济得多。 ? 形式化描述是对非形式化描述技术的补充。可以用来精化非形式化的详细的系统需求描述。描述是精确的和无二义的，避免了由于语言误解而产生的一些问题。 ? 最适合用于安全性、可靠性和保密性等性能要求极高的系统。 ? 开发成本较高。 ? 需要严格的数学理论和开发环境的支持。 ? 难以与用户进行通信。 * * 形式化过程模型的一个扩展，称为净室软件工程（cleanroom software engineering)或净室模型，它除了强调分析和设计上的严格性，以及使用基于数学的正确性证明来对设计模型的每个元素进行形式化验证外，还强调了统计质量控制技术。 基本思想： 力求在分析和设计阶段就消除错误，确保正确，然后在无缺陷或“洁净”的状态下实现软件的制作。 关键技术： ? 基于统计过程控制之下的增量开发 ? 基于函数的规范、设计、验证 ? 统计测试和软件认证 模型见下图： * * 净室模型 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #2 盒结构 规约 需求 收集 形式化 设计 正确性 验证 代码 检查 测试计划 统计性 使用测 试 验证 增量 #1 . . . . . . . . . . . . * * ⑹ 构件组装模型 构件（component)也称为组件，是一段实现一系列有确定接口的程序体，具有自己的功能和逻辑，能同其他构件组装起来协调工作。 该模型支持软件重用，对缩短软件开发周期、降低项目成本有重要的现实意义。同时，建造符合某应用领域体系结构标准的构件，可以用来搭建分布式的、跨越不同操作平台的软件，扩展了软件的应用前景，促进了软件标准化、商品化的发展。 因此，在此基础上专家们又提出了“基于构件的软件工程”(CBSE)。 构件组装模型如下图所示： * * 构件组装模型 * * 软件体系结构被建立后，必须用构件去充实，这些构件可从复用库中获得，或者根据专门需要而开发。整个过程可以演化地进行，面向对象方法给予技术上的支持。 构件技术目前主要有三种流行标准： ? OMG的CORBA： 对象管理组织发布的公共对象请求代理体系结构(Common Object Request Broker Architecture)。一个对象请求代理（ORB)提供一系列服务，使得一个构件和其他构件通信，而不管它们在系统中的位置，实现了远程对象通过接口进行通信的机制。 * * ? 微软的COM/DCOM：微软开发了构件对象模型（Component Object Model)，它提供了运行于windows之上的单个应用系统使用不同厂商生产的构件的规约。基于分布式环境下的COM称为DCOM (Distribute COM)。 ? SUN的EJB (Enterprise JavaBean)：随着J