| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第一章 引言 | 第12-22页 |
| ·概述 | 第12-13页 |
| ·高可信软件工程技术 | 第13-15页 |
| ·研究动机及意义 | 第15-16页 |
| ·国内外研究现状 | 第16-18页 |
| ·软件可靠性测试与评价研究现状 | 第17页 |
| ·软件防危性测试与评价研究现状 | 第17-18页 |
| ·本文的主要工作 | 第18-19页 |
| ·本文的组织 | 第19-22页 |
| 第二章 软件可信性与软件测试基本概念 | 第22-42页 |
| ·可信性的起源及其发展 | 第22-23页 |
| ·可信性的基本特征属性 | 第23-25页 |
| ·防危性与可靠性、安全性之间的异同 | 第25-27页 |
| ·防危性与可靠性之间的异同 | 第25-26页 |
| ·防危性与安全性之间的异同 | 第26-27页 |
| ·导致软件可信性降低的因素 | 第27-33页 |
| ·失效及失效模式 | 第27-28页 |
| ·错误及其分类 | 第28-29页 |
| ·缺陷及缺陷的组合 | 第29-31页 |
| ·缺陷、错误及失效三者之间的关系 | 第31页 |
| ·失效风险级别的划分 | 第31-33页 |
| ·现有的高可信保障技术 | 第33-37页 |
| ·软件测试技术 | 第37-40页 |
| ·软件测试的本质与内涵 | 第37-38页 |
| ·软件测试方法分类 | 第38-40页 |
| ·小结 | 第40-42页 |
| 第三章 软件可靠性测试用例产生方法 | 第42-62页 |
| ·相关概念 | 第42-46页 |
| ·软件可靠性 | 第42-43页 |
| ·软件可靠性度量参数 | 第43-45页 |
| ·软件可靠性测试 | 第45-46页 |
| ·软件可靠性测试与软件统计测试 | 第46-49页 |
| ·软件统计测试的基本思想 | 第46-47页 |
| ·测试输入选择对软件可靠性的影响 | 第47-49页 |
| ·基于MUSA的软件运行剖面产生软件可靠性测试用例法 | 第49-53页 |
| ·软件运行剖面的定义 | 第49-50页 |
| ·软件运行剖面创建方法 | 第50-52页 |
| ·测试用例的产生 | 第52-53页 |
| ·基于MARKOV链使用模型产生软件可靠性测试用例法 | 第53-60页 |
| ·基本概念 | 第53-55页 |
| ·使用链U的构建 | 第55-57页 |
| ·基于使用链产生统计测试用例 | 第57-59页 |
| ·测试链T的构建 | 第59-60页 |
| ·小结 | 第60-62页 |
| 第四章 基于经验贝叶斯统计学的可靠性验证测试方法 | 第62-94页 |
| ·软件可靠性验证测试 | 第62-64页 |
| ·基本概念 | 第62-63页 |
| ·软件可靠性验证测试框架 | 第63-64页 |
| ·现有固定期软件可靠性验证测试方法分析 | 第64-73页 |
| ·Laplace的连续性规则 | 第64-65页 |
| ·Thayer的可靠性验证方法 | 第65-67页 |
| ·生命期测试方法 | 第67-70页 |
| ·贝叶斯估计 | 第70-73页 |
| ·非固定期软件可靠性验证测试方法分析 | 第73-78页 |
| ·概率率序惯测试 | 第73-75页 |
| ·单风险序惯测试 | 第75-78页 |
| ·利用先验知识进行高可靠性统计推断的必要性 | 第78-82页 |
| ·统计推断的三种信息 | 第78-79页 |
| ·共轭先验分布 | 第79-81页 |
| ·基于先验知识进行高可靠性推断的必要性 | 第81-82页 |
| ·经验贝叶斯方法基本思想 | 第82-83页 |
| ·离散执行软件的经验贝叶斯可靠性验证方法 | 第83-88页 |
| ·离散执行软件操作失效概率先验分布的求解 | 第83-84页 |
| ·先验知识动态整合 | 第84-86页 |
| ·数值示例 | 第86-88页 |
| ·连续执行软件的经验贝叶斯可靠性验证方法 | 第88-92页 |
| ·连续执行软件失效率先验分布的求解 | 第88-89页 |
| ·先验知识动态整合 | 第89-91页 |
| ·数值示例 | 第91-92页 |
| ·小结 | 第92-94页 |
| 第五章 基于软件体系结构的高可信软件可靠性测评方法 | 第94-124页 |
| ·相关概念 | 第94-95页 |
| ·基于软件体系结构研究软件可靠性测评的必要性 | 第95-96页 |
| ·研究现状 | 第96-100页 |
| ·基于软件体系结构的可靠性建模研究 | 第96-99页 |
| ·软件可靠性分配 | 第99-100页 |
| ·高可信性软件可靠性测评框架 | 第100-107页 |
| ·软件系统可靠性设计指标的确定 | 第102页 |
| ·可靠性建模、系统可靠性设计指标分配 | 第102-103页 |
| ·软件模块的测评 | 第103页 |
| ·软件模块的集成测试 | 第103-106页 |
| ·系统级的软件可靠性增长、验证测试 | 第106-107页 |
| ·基于最大熵原则的软件系统级可靠性测评方法 | 第107-111页 |
| ·最大熵原则 | 第107页 |
| ·离散执行软件先验分布求解及测评方法 | 第107-109页 |
| ·连续执行软件先验分布求解及测评方法 | 第109-111页 |
| ·基于MARKOV控制转换的多模块软件可靠性测评方法 | 第111-115页 |
| ·软件可靠性模型 | 第111-113页 |
| ·软件可靠性分配 | 第113页 |
| ·基于Markov控制转换的多模块软件系统级的可靠性测评方法 | 第113-115页 |
| ·实时多任务软件可靠性测评方法 | 第115-122页 |
| ·实时多任务软件原型 | 第115-117页 |
| ·实时多任务软件系统的可靠性模型 | 第117-118页 |
| ·参数π_k的确定 | 第118-119页 |
| ·实时多任务软件系统可靠性指标分配方法 | 第119-121页 |
| ·实时多任务软件系统级的可靠性测评方法 | 第121-122页 |
| ·小结 | 第122-124页 |
| 第六章 基于重要性取样原理的软件防危性测评研究 | 第124-144页 |
| ·软件防危性生命周期 | 第124-125页 |
| ·软件防危性分析 | 第125-130页 |
| ·初步危险分析 | 第125-126页 |
| ·功能危险评估 | 第126页 |
| ·危险和可操作性分析技术 | 第126-127页 |
| ·失效模式和影响分析 | 第127-128页 |
| ·事件树分析 | 第128页 |
| ·故障树分析 | 第128-130页 |
| ·软件防危性测评的困难 | 第130-131页 |
| ·重要性取样原理 | 第131-133页 |
| ·基于关联风险剖面的软件防危性增长测试 | 第133-139页 |
| ·确定软件防危性指标 | 第134-135页 |
| ·集成防危性分析的关联风险剖面的生成 | 第135-137页 |
| ·基于关联风险剖面的测试用例产生 | 第137-139页 |
| ·软件防危性增长测试停止标准 | 第139页 |
| ·基于加速剖面的软件防危性验证测试 | 第139-143页 |
| ·软件加速剖面开发 | 第140-142页 |
| ·决定基于加速剖面的软件防危性验证测试用例量 | 第142-143页 |
| ·小结 | 第143-144页 |
| 第七章 全文总结 | 第144-148页 |
| 参考文献 | 第148-156页 |
| 致谢 | 第156-157页 |
| 个人简历、在读期间科研成果、论文发表和获奖情况 | 第157-158页 |
| 一、个人简历 | 第157页 |
| 二、科研项目 | 第157页 |
| 三、论文发表情况 | 第157-158页 |
| 四、获奖情况 | 第158页 |
