基于构件的软件体系结构可靠性建模支持

摘要

随着计算机技术和互联网的发展,当今的软件系统正处在一个开放、动态以及多变的网络环境中,这使得软件的能力得以延伸,但同时也对软件系统的质量属性提出了更高的要求。软件的非功能属性,比如软件系统的正确性、可靠性、安全性和性能正在受到越来越高的重视。在这样的环境下,构建高质量的软件正在成为一个研究热点;另一方面,基于构件的软件开发技术和体系结构技术缩短了软件开发的周期,增加了软件复用率,为软件的开发带来了极大的便利。目前,国内外学者对基于构件的软件体系结构可靠性有了一些研究,也取得了一些成果,但都或多或少的存在一些局限性。
　　针对目前存在的问题,在已有的研究成果上,本文提出了一种基于构件的软件体系结构的建模和分析方法。该方法在软件开发的设计阶段对软件体系结构的可靠性进行建模和分析,在早期为构建可靠的软件提供参考,以节省开发成本。
　　具体而言,本文的研究成果和贡献主要有:1)提出了分析型接口的概念,用来支持对软件体系结构的质量属性进行建模和分析;2)在分析型接口的基础上,扩展了xADL3.0的接口模型,使其支持对于可靠性的建模,给出了具体的扩展元模型的实现;3)提出了从接口的行为模型到马尔可夫链的转换算法,计算出接口的可靠性,从而进一步得到软件体系结构可靠性。

目录

封面

声明

中文摘要

英文摘要

目录

插图索引

表格索引

第一章 绪论

1.1 研究背景和意义

1.2 国内外研究现状及存在的问题

1.3 研究内容及工作

1.4 论文结构

第二章 相关理论与技术

2.1 软件体系结构

2.2 基于构件的软件开发

2.3 软件体系结构可靠性

2.4 本章小结

第三章 基于构件的软件体系结构可靠性建模

3.1 xADL 3.0

3.2 分析型接口模型

3.3 基于构件的软件体系结构可靠性扩展

3.4 本章小结

第四章 基于构件的软件体系结构可靠性分析

4.1 分析型接口的可靠性

4.2 马尔可夫链生成算法

4.3 实例研究

4.4 本章小结

第五章 基于构件的体系结构建模原型实现

5.1 Breeze原型简介

5.2 Breeze原型功能模块

5.3 Breeze原型实现

5.4 Breeze原型用法

5.5 本章小结

第六章 总结与展望

6.1 全文总结

6.2 研究展望

附录A 可靠性扩展的XML Schema

参考文献

致谢

攻读学位期间发表的学术论文目录