基于行为的软件可信性度量理论与关键技术研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论 | 第13-25页 |
| ·研究背景 | 第13-16页 |
| ·国内外研究现状 | 第16-21页 |
| ·可信软件基础理论的研究现状 | 第16-18页 |
| ·可信软件度量、评估与认证方法的研究现状 | 第18-20页 |
| ·工作流系统软件可信性理论的研究现状 | 第20-21页 |
| ·研究内容和结构安排 | 第21-25页 |
| 第二章 基于行为的软件可信性度量基本方法与模型 | 第25-45页 |
| ·引言 | 第25-28页 |
| ·软件行为可信性度量基本方法 | 第28-34页 |
| ·基于行为的软件可信性度量方法的关键步骤 | 第28-30页 |
| ·基于行为的软件可信性度量基本方法的核心技术 | 第30-34页 |
| ·基于行为的软件可信性度量核心概念 | 第34-35页 |
| ·软件行为可信性度量基本模型 | 第35-42页 |
| ·软件行为可信性度量的基本算子 | 第35-38页 |
| ·软件行为可信性的同余度量算子 | 第38-39页 |
| ·软件行为可信性的基本度量框架 | 第39-42页 |
| ·软件行为可信性度量基本算法 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 基于分类的软件可信性度量优化方法与模型 | 第45-57页 |
| ·引言 | 第45-47页 |
| ·软件行为可信性确定性分类度量优化模型 | 第47-49页 |
| ·软件行为可信性不确定性分类度量优化模型 | 第49-52页 |
| ·不确定性分类度量方法思想 | 第49-50页 |
| ·不确定性分类度量基本模型 | 第50-52页 |
| ·软件行为测试与执行环境可信性度量算法 | 第52-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 可信工作流管理系统软件可信性的度量模型 | 第57-77页 |
| ·引言 | 第57-59页 |
| ·工作流管理系统模型 | 第59-63页 |
| ·工作流管理系统构件模型 | 第59-61页 |
| ·工作流管理系统构件算子 | 第61-63页 |
| ·工作流管理系统构件组合 | 第63页 |
| ·应用软件行为可信性度量模型 | 第63-67页 |
| ·应用软件体系结构 | 第63-64页 |
| ·应用软件可信性度量模型 | 第64-67页 |
| ·应用软件行为可信性度量方法 | 第67-69页 |
| ·组合构件可信性度量算子 | 第67页 |
| ·基于算子的可信性度量算法 | 第67-68页 |
| ·基于范式的可信性度量算法 | 第68-69页 |
| ·应用软件行为可信性度量实例研究与仿真 | 第69-74页 |
| ·本章小结 | 第74-77页 |
| 第五章 银行中间业务工作流系统软件可信性度量实验 | 第77-97页 |
| ·行为可信性属性需求分析 | 第77-82页 |
| ·功能属性需求 | 第77-79页 |
| ·非功能属性需求 | 第79-80页 |
| ·需求模型 | 第80-82页 |
| ·软件体系结构分析与设计 | 第82-92页 |
| ·表示层结构 | 第86页 |
| ·功能层结构 | 第86-89页 |
| ·数据层结构 | 第89-92页 |
| ·可信性度量系统模型与实施机制 | 第92-96页 |
| ·可信性度量系统模型 | 第92-93页 |
| ·可信性度量系统实施机制 | 第93-94页 |
| ·功能属性行为可信性度量 | 第94-95页 |
| ·非功能属性行为可信性度量 | 第95-96页 |
| ·本章小结 | 第96-97页 |
| 第六章 结论及展望 | 第97-99页 |
| ·论文工作总结 | 第97-98页 |
| ·未来相关工作展望 | 第98-99页 |
| 参考文献 | 第99-107页 |
| 致谢 | 第107-109页 |
| 个人学习简历及参加的科研工作 | 第109-111页 |
| 攻读博士学位期间发表的学术论文 | 第111-113页 |
| 攻读博士学位期间获得的授权专利 | 第113-115页 |
| 攻读博士学位期间获奖情况 | 第115页 |
