第四章软件体系结构描述.PDFVIP

第四章 软件体系结构描述 主讲人 何欣 2006年5月26日 4.1 软件体系结构描述方法 项目管理 静态分析器 时间分析器 测试配置 测试结果库 缓冲 最优/最劣 时间计算 测试结果库 复杂度计算 带时间特性的 函数调用 程序复杂度 流程图 关系图 测试结果打印 图4-1 某软件辅助理解和测试工具部分体系结构描述 4.1 软件体系结构描述方法 ♦ 1. 图形表达工具 ♦ 2. 模块内连接语言 ♦ 3. 基于软构件的系统描述语言 ♦ 4. 软件体系结构描述语言 4.1 软件体系结构描述方法 ♦ 描述软件体系结构是研究软件体系结构的前提。 ♦ 为了支持体系结构的开发，形式化的建模符号系统和可应用于体 系结构规格说明的开发与分析工具是必需的。体系结构描述语言 以及与之相对应的工具集正好解决了这一问题。 ♦ ADL是软件体系结构研究的核心问题之一。它不但是形式化描述 软件体系结构的基本工具，而且也是对软件体系结构进行求精、 验证、演化和分析的前提和基础。 4.1 软件体系结构描述方法 ♦ ADL 的一个宽松的定义是这样的——用于软件应用程序的体系结 构描述语言关注整个应用程序的高层结构，而不是其中某一个源 代码模块的实现细节。 ♦ ADL吸取了传统程序设计中语义严格、精确的特点，并针对软件 体系结构的整体性和抽象性，定义和确定了适合于软件体系结构 表达与描述的有关抽象元素，从而能精确、无歧义地描述软件体 系结构，更好地支持对软件体系结构求精、验证、演化和分析。 4.1 软件体系结构描述方法 ♦ 表4-1 当前常见的一些体系结构描述语言 ADL 研发组织 负责人 ACME Carnegie Mellon大学 David Garlan Wright Carnegie Mellon大学 David Garlan C2 Southern California大学 Medvidovic Unicon Carnegie Mellon大学 Mary Shaw Darwin 英国Imperial College Jeff Kramer Jeff Magee AESOP Carnegie Mellon大学 David Garlan Rapide Stanford大学 David Luckham ControlMetaH Honeywell公司技术中心 Steve Vestal Weaves 美国Aerospace公司 Gorlick SADL SRI Mark Moriconi UML Rational 软件公司 Gestalt Siemens 公司研究院 Bob Schwanke Demeter Northeastern 大学