基于语言的软件可信性度量理论及其应用
| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 表格目录 | 第13-14页 |
| 插图目录 | 第14-16页 |
| 第一章 引言 | 第16-28页 |
| ·研究工作的背景和发展概况 | 第16-19页 |
| ·可信软件的研究现状 | 第17-19页 |
| ·本文工作 | 第19-24页 |
| ·本文的研究方法 | 第19-22页 |
| ·本文的指导思想 | 第22页 |
| ·本文的主要贡献 | 第22-24页 |
| ·章节安排 | 第24-28页 |
| 第二章 预备知识 | 第28-42页 |
| ·混成CSP(HCSP) | 第28-30页 |
| ·一种简单的命令式语言(IMP) | 第30-32页 |
| ·霍尔逻辑(HL) | 第32-34页 |
| ·进程演算(CCS) | 第34-36页 |
| ·高等概率论与随机过程基础 | 第36-38页 |
| ·"万能"软件可信性度量不存在的注记 | 第38-39页 |
| ·本章小结 | 第39-42页 |
| 第三章 随机-混成进程代数可信性量化理论 | 第42-60页 |
| ·引言 | 第42-43页 |
| ·随机-混成进程代数 | 第43-53页 |
| ·随机-混成进程代数可信性量化 | 第53-59页 |
| ·顺序进程可信性分析 | 第53-59页 |
| ·并行进程可信性分析 | 第59页 |
| ·本章小结 | 第59-60页 |
| 第四章 概率拟Hoare逻辑可信性量化理论 | 第60-88页 |
| ·引言 | 第60-61页 |
| ·概率拟Hoare三元组 | 第61-67页 |
| ·概率拟Hoare规则 | 第67-70页 |
| ·[α_1,α_2]1-拟Hoare逻辑 | 第70-85页 |
| ·概率拟Hoare逻辑与Hoare逻辑 | 第85-87页 |
| ·本章小结 | 第87-88页 |
| 第五章 Web服务降级替换可信性量化理论 | 第88-106页 |
| ·引言 | 第88-90页 |
| ·基于进程代数的Web服务降级替换度量 | 第90-101页 |
| ·CCS的修改—超时和延时 | 第93-97页 |
| ·降级服务可信替换度 | 第97-101页 |
| ·本章小结 | 第101-106页 |
| 第六章 基于结构或构件的软件可信性度量模型 | 第106-132页 |
| ·基于语言结构的软件可信性度量 | 第106-117页 |
| ·引言 | 第106-107页 |
| ·语言及可信性度量规则 | 第107-116页 |
| ·例子 | 第116-117页 |
| ·基于构件的软件可信性度量 | 第117-129页 |
| ·引言 | 第117-119页 |
| ·构件匹配可信性度量 | 第119-127页 |
| ·构件组装方式的可信性度量规则 | 第127-129页 |
| ·本章小结 | 第129-132页 |
| 第七章 Web服务可信性度量模型 | 第132-168页 |
| ·引言 | 第132-134页 |
| ·静态Web服务可信性度量 | 第134-141页 |
| ·静态Web服务语言 | 第134-136页 |
| ·静态Web服务可信性量化 | 第136-139页 |
| ·静态Web服务可信期望 | 第139-141页 |
| ·动态Web服务可信性度量 | 第141-165页 |
| ·动态Web服务语言 | 第142-144页 |
| ·动态Web服务可信性量化 | 第144-149页 |
| ·动态Web服务可信期望 | 第149-165页 |
| ·本章小结 | 第165-168页 |
| 第八章 软件可信性度量可视化工具 | 第168-178页 |
| ·引言 | 第168页 |
| ·软件可信性度量可视化工具(版本1.0)简介 | 第168-171页 |
| ·STMVT的功能及其具体使用 | 第171-176页 |
| ·本章小结 | 第176-178页 |
| 第九章 总结与展望 | 第178-184页 |
| ·工作总结 | 第178-179页 |
| ·后期工作的展望 | 第179-184页 |
| 附录A 符号说明 | 第184-188页 |
| 附录B 攻读博士学位期间发表的论文 | 第188-190页 |
| 附录C 参与的科研项目 | 第190-192页 |
| 参考文献 | 第192-200页 |
| 后记 | 第200页 |
