《网构软件可靠性技术研究》共7章,主要讨论了网构软件的研究背景和意义、网构软件可靠性理论和研究现状、网构软件及其可靠性形式化方法研究、网构软件可靠性计算方法研究、网构软件系统可靠性演化计算研究、网构软件系统可靠性分配方法研究和网构软件系统可靠性技术研究展望。
《网构软件可靠性技术研究》面向网络环境下网构软件可靠性技术研究,阐述了网构软件可靠性基本原理,提出了可靠性模型及其计算方法,并且通过试验进行了验证。
《网构软件可靠性技术研究》可供计算机软件与理论、软件工程及其相关工作的专业人员学习、研究参考,也可作为本领域内研究生学习的参考书。
张靖,破格晋升教授,电子科技大学计算机系统结构专业,工学博士,硕士导师,四川省学术和技术带头人后备人选,攀枝花市学术和技术带头人,攀枝花学院拔尖人才,四川省教育厅四川高校信息化工作委员会副秘书长,四川省计算机学会理事。一直从事计算机专业方面的教研教改和科研工作,作为专家多次参加科技项目立项、重大信息化项目的论证、设计评审、竣工验收等工作。主持和主研科研10余项,其中省部级4项、地厅级6项、企业横向2项;在通信学报、自动化学报、电子科技大学学报、计算机工程、计算机工程与设计、微电子与计算机、计算机仿真等专业学术期刊和国际学术会议公开发表学术论文40多篇,其中SCI、El收录20余篇,一级期刊2篇,核心期刊20余篇;专著二部,共约70余万字,参编教材1部。
1 绪论
1.1 研究目的和意义
1.2 研究内容与贡献
1.3 本书组织结构
2 网构软件可靠性理论及现状研究
2.1 网构软件概念
2.2 网构软件应用及特点
2.2.1 网构软件的集成与应用
2.2.2 网构软件特点
2.3 网构软件可靠性概念
2.4 网构软件可靠性研究现状
2.4.1 软件可靠性分析方法和模型
2.4.2 网构软件可靠性模型和计算研究
2.4.3 进程代数形式化方法
2.4.4 转移概率获取方法
2.4.5 可靠性演化
2.4.6 可靠性分配
2.5 本章小结
3 网构软件可靠性形式化方法研究
3.1 网构软件形式化模型定义
3.2 网构软件组合运算
3.3 网构软件代数系统
3.4 网构软件可靠性演算
3.4.1 网构软件结构可靠性
3.4.2 网构软件构件演化算法
3.4.3 网构软件可靠性随机进程代数表示
3.4.4 网构软件可靠性随机进程代数演算
3.4.5 网构软件可靠性演算方法
3.5 实验验证
3.5.1 实验一
3.5.2 实验二
3.6 本章小结
4 网构软件可靠性计算方法研究
4.1 网构软件的马尔可夫链特点
4.2 网构软件可靠性计算建模
4.3 构件可靠性计算方法
4.3.1 构件可靠性计算
4.3.2 连接可靠性计算
4.4 转移概率及其计算
4.4.1 网构软件转移概率
4.4.2 网络因素下转移概率计算
4.4.3 转移概率计算模型
4.4.4 转移概率计算方法
4.4.5 转移概率计算算法
4.5 网构软件系统可靠性计算
4.6 系统可靠性影响分析
4.7 实验验证
4.7.1 实验
4.7.2 实验二
4.7.3 实验三
4.7.4 实验四
4.8 本章小结
5 网构软件系统可靠性演化计算研究
5.1网构软件演化性
5.2 可靠性演化计算
5.2.1 可靠性演化计算
5.2.2 可靠性演化趋势计算
5.3 计算可靠性演化趋势算法
5.4 实验验证
5.4.1 实验
5.4.2 实验二
5.5 本章小结
6 网构软件系统可靠性分配
6.1 网构软件系统可靠性分配模型
6.2 基于结构的网构软件系统可靠性
6.3 网构软件Markov链生成方法
6.4 可靠性计算函数
6.5 网构软件构件可靠性分配
6.5.1 可靠性成本函数
6.5.2 可靠性规划分配
6.6 可靠性规划分配算法
6.6.1 惯性权重系数改进
6.6.2 约束条件处理
6.6.3 编码处理
6.6.4 可靠性分配算法设计
6.7 实验验证
6.8 本章小结
7 总结与展望
7.1 总结
7.2 网构软件可靠性研究展望
7.2.1 自动化提取的新方法
7.2.2 网络影响因素科学分析
7.2.3 可靠性专用化计算
7.2.4 可靠性并行计算
7.3 未来的研究工作
参考文献