基于自配置的软件可信性增长模型及方法
摘要 | 第1-7页 |
Abstract | 第7-13页 |
第1章 绪论 | 第13-31页 |
·研究背景 | 第13-14页 |
·国内外研究现状 | 第14-27页 |
·自律计算及自配置国内外研究现状 | 第15-20页 |
·软件信息感知国内外研究现状 | 第20-23页 |
·软件可信性国内外研究现状 | 第23-26页 |
·软件演化国内外研究现状 | 第26-27页 |
·研究目标与研究意义 | 第27-28页 |
·研究目标 | 第27页 |
·研究意义 | 第27-28页 |
·本文研究内容 | 第28-29页 |
·本文组织结构 | 第29-31页 |
第2章 基于自配置的软件可信性增长模型 | 第31-54页 |
·引言 | 第31-32页 |
·基于自配置的组件软件自律化 | 第32-35页 |
·自律控制结构 | 第32-33页 |
·软件自律化 | 第33-35页 |
·基于自配置的软件可信性增长方法 | 第35-40页 |
·相关符号定义 | 第35-36页 |
·自配置方法 | 第36-37页 |
·软件可信性增长模型 | 第37-38页 |
·自配置的软件可信性增长模型描述 | 第38-40页 |
·基于MRSPN 的软件可信性增长模型性能分析 | 第40-47页 |
·马尔可夫再生随机Petri 网 | 第40-43页 |
·软件可信性增长模型分析 | 第43-47页 |
·实验与分析 | 第47-53页 |
·仿真实验 | 第47-49页 |
·实测试验 | 第49-53页 |
·本章小结 | 第53-54页 |
第3章 面向软件可信性分析的信息感知方法 | 第54-71页 |
·引言 | 第54-55页 |
·软件系统信息感知框架 | 第55-57页 |
·信息感知框架的层次划分 | 第55-56页 |
·信息感知机制 | 第56-57页 |
·软件系统信息采集建模 | 第57-65页 |
·基本理论与概念 | 第57-59页 |
·问题描述及其建模 | 第59-62页 |
·代价度量 | 第62-65页 |
·实验与分析 | 第65-70页 |
·实例分析 | 第65-67页 |
·仿真实验与分析 | 第67-70页 |
·本章小结 | 第70-71页 |
第4章 基于Pi 演算的软件可信性度量方法 | 第71-89页 |
·引言 | 第71-72页 |
·Pi 演算基本理论 | 第72-73页 |
·基于Pi 演算的软件可信性度量方法 | 第73-78页 |
·基于Pi 演算的软件可信行为路径图 | 第74-76页 |
·基于Pi 演算的软件可信性度量方法 | 第76-78页 |
·实验与分析 | 第78-88页 |
·单个行为实验及结果分析 | 第79-83页 |
·实测实验与结果分析 | 第83-88页 |
·本章小结 | 第88-89页 |
第5章 考虑历史数据的软件可信演化和分析方法 | 第89-112页 |
·引言 | 第89-90页 |
·基于自配置的软件可信演化 | 第90-94页 |
·组件之间的关系 | 第91-92页 |
·软件可信演化操作 | 第92-94页 |
·考虑历史数据的软件可信演化方法 | 第94-97页 |
·软件可信演化历史行为分析 | 第94-95页 |
·软件可信演化方法 | 第95-97页 |
·考虑历史数据的软件可信演化分析图 | 第97-105页 |
·软件可信演化分析图各维定义 | 第97-98页 |
·软件可信演化分析模型的建立 | 第98-101页 |
·软件可信演化分析图建立过程描述 | 第101-105页 |
·实验与分析 | 第105-111页 |
·软件可信演化方法实验 | 第105-107页 |
·软件可信演化分析方法实验 | 第107-111页 |
·本章小结 | 第111-112页 |
结论 | 第112-114页 |
参考文献 | 第114-125页 |
攻读博士学位期间发表的论文和取得的科研成果 | 第125-127页 |
致谢 | 第127页 |