可信软件构成架构的研究及其评估工具的实现
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第9-12页 |
| 1.1 研究背景 | 第9页 |
| 1.2 研究现状 | 第9-10页 |
| 1.3 研究内容 | 第10-11页 |
| 1.4 论文结构 | 第11-12页 |
| 第二章 相关概念浅析 | 第12-20页 |
| 2.1 软件可信性 | 第12-13页 |
| 2.2 软件可信性分级 | 第13-14页 |
| 2.3 可信属性 | 第14-16页 |
| 2.4 可信软件的构建过程 | 第16-17页 |
| 2.5 软件可信性证据 | 第17-18页 |
| 2.6 软件可信性评估 | 第18-19页 |
| 2.7 本章小结 | 第19-20页 |
| 第三章 可信软件构成架构研究 | 第20-33页 |
| 3.1 基础定义研究 | 第20-21页 |
| 3.1.1 软件可信性定义 | 第20-21页 |
| 3.1.2 可信软件定义 | 第21页 |
| 3.2 可信软件构成架构研究 | 第21-24页 |
| 3.3 可信属性研究 | 第24-32页 |
| 3.3.1 可信属性构成及定义 | 第24-26页 |
| 3.3.2 属性空间模型研究 | 第26-27页 |
| 3.3.3 属性关系研究 | 第27-32页 |
| 3.4 本章小结 | 第32-33页 |
| 第四章 软件可信性的评估方法研究 | 第33-57页 |
| 4.1 关于软件可信性评估的研究 | 第33-35页 |
| 4.2 软件可信性评估指标体系 | 第35-46页 |
| 4.2.1 可信过程度量指标体系 | 第35-42页 |
| 4.2.2 可信属性度量指标体系 | 第42-45页 |
| 4.2.3 可信后评价度量指标体系 | 第45-46页 |
| 4.3 软件可信性综合评估算法 | 第46-51页 |
| 4.3.1 模糊综合评估算法引入 | 第47页 |
| 4.3.2 运用模糊综合评估算法的评估过程 | 第47-51页 |
| 4.4 软件可信性评估流程总结 | 第51-52页 |
| 4.5 实例验证 | 第52-56页 |
| 4.6 本章小结 | 第56-57页 |
| 第五章 软件可信性评估工具设计与实现 | 第57-74页 |
| 5.1 评估工具功能设计 | 第57-58页 |
| 5.2 评估工具用例设计 | 第58-61页 |
| 5.3 评估工具部署设计 | 第61-62页 |
| 5.4 评估工具界面展示 | 第62-73页 |
| 5.5 本章小结 | 第73-74页 |
| 第六章 结束语 | 第74-76页 |
| 参考文献 | 第76-79页 |
| 致谢 | 第79-80页 |
| 攻读学位期间发表的学术论文 | 第80页 |
