基于BreezeAL的软件体系结构可靠性分析策略.docVIP

基于BreezeADL的软件体系结构可靠性分析策略 目前，基于构件的可靠性问题主要是针对无法 为系统正常提供功能这个问题。目前大多数的基于构 件可靠性分析的方法较少考虑了构件自身的修复策略 仅可以对错误进行修复或忽略，但不会给下游构件处 理造成危害。因而，这些可靠性分析无法准确的给出 前期的可靠性评估结果，导致分析结果产生偏差。本 文在体系结构建模阶段，对构件错误进行分类，构建 错误传播链及考虑错误恢复，并体系结构建模语言 Breeze/ADL进行扩展，利用元建模技术，实现将相应 的错误元素植入到Breeze/ADL中，构建可靠性建模， 并结合DTMC实现对体系结构的可靠性进行分析。 关键词】Breeze/ADL建模方法可靠性分析 基于构件的软件就是将系统视为所有构件的集合， 因此软件评估中的一个重要因素便是对于软件系统失 效性的分析和研宄。在网构软件框架下，通过已知的 体系结构信息对系统进行失效性分析，能同时结合用 户需求和系统架构，给出最有效的分析结果。 本文以软件体系结构为出发点，针对Breeze/ADL 体系结构建模语言进行扩展，利用元建模技术，在体 系结构中植入构件在加入容错和恢复机制后的状态转 移和构件调用变迁元素，实现对基于Breeze/ADL建模 的体系结构的可靠性分析与评估。 1相关工作 目前在研究基于构件的软件体系结构的时候，软 件体系结构的建模经常使用体系结构描述语言（ADL） 进行描述。国内外对于体系结构提出了很多具有代表 性的ADL，例如ADL-C2、Darwin、Wright等目前大多 的体系结构描述语言对于软件系统的质量的分析描述 很少，所以在分析、预测、管控则更加缺乏。 软件可靠性是软件产品在规定的环境中和规定的 时间区间完成预定功能的概率。该概率是由系统的输 入和系统可使用的函数，也是软件运行中发生错误的 函数数值。本文将重点关注体系结构的可靠性分析方 法。 2基于Breeze/ADL的可靠性分析方法 本文的主要思想是从体系结构层次出发，提出了 一种基于Breeze/ADL的错误传播和恢复的可靠性分析 方法，通过研究软件体系结构可靠性分析方法，针对 可靠性构建了相应的可靠性模型；通过利用元建模技 术，在体系结构层次上的对构件模型进行扩展，构建 可靠性模型。 2.1基于Breeze/ADL的体系结构建模方法 Breeze/ADL的理论基础是Breeze图文法，元开发 语言是XML。Breeze/ADL主要优点是可通过图文的方 法展不。Breeze/ADL对彳吴型层、概念层、实例层二层 进行了描述，特别指定了一些添加和删除构件的操作 以支持重配置，并提供状态选项列表。 为了实现对基于XML的Breeze/ADL建模软件体系 结构的支持，我们开发了 Breeze,实现可视化的设计。 Breeze提供了可视化界面，可以对模型中的基本属性 进行解析，并可以对这些基本属性进行补充、修改， 设计软件体系结构的时候利用了该软件的图形转换技 术，同时相关对于可信性的保障技术也融入其中。 Breeze工具包含映射模块、视图模块、验证模块、 消息模块等四个部分。 Breeze可以在映射模块中新建构件对象。 Breeze在视图模块中只要作为图形展示工具。 验证模块主要是对软件体系结构视图中的构 件对象进行识别。 Breeze Tool在消息模块中可以对设计或者验 证过程中对用户提供相关的信息记性参考以及选择。 2.2错误传播和恢复的可靠性方法原理 目前基于构件的可靠性主要是针对构件无法提供 正常工作这个问题。这些可靠性分析在对具有容错性 能的系统进行可靠性分析的时候，无法准确的给出前 期的可靠性评估结果，导致分析结果产生偏差。本文 在体系结构建模阶段，利用元建模技术，实现将相应 的错误元素植入到Breeze/ADL中，构建可靠性建模， 并结合DTMC实现对体系结构的可靠性进行分析。 本节首先对软件体系结构进行属性扩展，增加相 应的错误传播概率参数，然后对体系结构进行转换获 得新的机遇错误传播和错误恢复的新型体系结构，最 后对所提方法的复杂性进行了分析。 2.2.1错误传播概率 假设当体系结构中的构件单元在接收到输入数据 后，构件能针对给定的输入数据产生出正确的输出结 果，构件对给定的输入数据产生错误的输出结果和构 件对输入数据处理后无任何输出结果。其中，后面两 种情况的产生原因则是由于构件内部或外部的故障导 致而来。针对上述的错误传播和恢复模型，每个构件 将会以一定的概率从上游构件那里接收到正确和错误 两种类型输入。 假定Oi (C|C)为构件的可靠性，即不失效的概 率。而将Oi (l|C)和Oi (N|C)的情况进行合计，作 为构件失效的概率，对于无容错和恢复的系统，上述 的概率统计和计算则显得较为粗略，不够精准