基于BreezeADL软件体系结构可靠性分析策略.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工具包含映射模块、视图模块、验证模块、消息模块等四个部分。 　　（1）Breeze可以在映射模块中新建构件对象。 　　（2）Breeze在视图模块中只要作为图形展示工具。 　　（3）验证模块主要是对软件体系结构视图中的构件对象进行识别。 　　（4）Breeze Tool在消息模块中可以对设计或者验证过程中对用户提供相关的信息记性参考以及选择。 　　2.2 错误传播和恢复的可靠性方法原理 　　目前基于构件的可靠性主要是针对构件无法提供正常工作这个问题。这些可靠性分析在对具有容错性能的系统进行可靠性分析的时候，无法准确的给出前期的可靠性评估结果，导致分析结果产生偏差。本文在体系结构建模阶段，利用元建模技术，实现将相应的错误元素植入到Breeze/ADL中，构建可靠性建模，并结合DTMC实现对体系结构的可靠性进行分析。 　　本节首先对软件体系结构进行属性扩展，增加相应的错误传播概率参数，然后对体系结构进行转换获得新的机遇错误传播和错误恢复的新型体系结构，最后对所提方法的复杂性进行了分析。 　　2.2.1 错误传播概率 　　假设当体系结构中的构件单元在接收到输入数据后，构件能针对给定的输入数据产生出正确的输出结果，构件对给定的输入数据产生错误的输出结果和构件对输入数据处理后无任何输出结果。其中，后面两种情况的产生原因则是由于构件内部或外部的故障导致而来。针对上述的错误传播和恢复模型，每个构件将会以一定的概率从上游构件那里接收到正确和错误两种类型输入。 　　假定Oi（C|C）为构件的可靠性，即不失效的概率。而将Oi（I|C）和Oi（N|C）的情况进行合计，作为构件失效的概率，对于无容错和恢复的系统，上