软件可靠性验证测试中降低测试用例量方法研究

文摘

英文文摘

声明

1绪论

1.1概述

1.2研究动机及意义

1.3国内外研究的现状

1.3.1软件可靠性技术的发展现状

1.3.2软件可靠性验证测试的研究现状

1.4本文的主要研究内容和组织结构

2软件可靠性相关理论及技术

2.1可信性与可靠性的关系

2.2软件可靠性基本知识

2.2.1软件可靠性定义

2.2.2软件可靠性度量指标

2.3软件可靠性测试

2.3.1软件可靠性测试涵义及一般过程

2.3.2软件可靠性测试的分类

2.4本章小结

3软件可靠性测试用例产生方法

3.1基于软件运行剖面的可靠性测试用例产生方法

3.1.1软件运行剖面的概念

3.1.2软件运行剖面的构造方法

3.1.3软件测试用例的生成

3.2基于马尔科夫链使用模型的可靠性测试用例产生方法

3.2.1马尔科夫链使用模型

3.2.2马尔科夫使用链构建

3.2.3基于使用链产生测试用例和测试链

3.2.4基于测试链的软件可靠性验证测试方法的缺陷

3.3本章小结

4基于先验贝叶斯统计学的可靠性验证测试方法

4.1软件运行方式建模

4.1.1离散执行软件模型

4.1.2连续执行软件模型

4.2先验贝叶斯模型

4.2.1先验贝叶斯统计学在软件可靠性验证中的必要性

4.2.2先验贝叶斯理论基本思想

4.2.3先验贝叶斯模型

4.3贝叶斯模型中先验分布的选取方法

4.3.1基于共轭方法的先验分布选取

4.3.2基于先验矩的超参数计算

4.3.3基于共轭最大熵的超参数计算

4.4基于ML-Ⅱ理论的先验分布优选

4.5本章小结

5基于先验贝叶斯统计学可靠性验证测试方法的仿真计算

5.1软件可靠性验证测试框架与可靠性指标设定

5.2仿真计算结果分析与比较

5.2.1基于无先验知识贝叶斯方法仿真实验结果分析

5.2.2基于先验矩方法的贝叶斯仿真实验结果及分析比较

5.2.3基于共轭最大熵方法的贝叶斯仿真实验结果及分析比较

5.2.4基于ML-Ⅱ的先验分布优选计算及分析比较

5.3本章小结

6总结与展望

致 谢

参考文献