复杂软件可靠性评估代数方法及其实证研究
致谢 | 第9-10页 |
摘要 | 第10-12页 |
abstract | 第12-14页 |
第1章 绪论 | 第21-32页 |
1.1 课题研究背景 | 第21-22页 |
1.2 软件可靠性与软件可靠性工程 | 第22-23页 |
1.3 软件可靠性建模研究现状 | 第23-27页 |
1.3.1 SR模型分类及经典模型 | 第23-24页 |
1.3.2 SR结构化模型 | 第24-26页 |
1.3.3 SR评估与SR模型 | 第26-27页 |
1.4 论文研究内容与结构安排 | 第27-32页 |
1.4.1 研究内容 | 第28-29页 |
1.4.2 结构安排 | 第29-32页 |
第2章 软件可靠性建模相关基础理论 | 第32-54页 |
2.1 软件可靠性增长模型 | 第32-40页 |
2.1.1 SRGM类建模的基本问题 | 第32-33页 |
2.1.2 J-M模型及其推广 | 第33-35页 |
2.1.3 G-O模型及其推广 | 第35-38页 |
2.1.4 Musa执行时间模型 | 第38-39页 |
2.1.5 SRGM类建模方法讨论 | 第39-40页 |
2.2 软件可靠性结构化模型 | 第40-46页 |
2.2.1 SR结构化建模的基本问题 | 第40-41页 |
2.2.2 基于执行路径的SR结构化模型 | 第41-42页 |
2.2.3 基于状态的SR结构化模型 | 第42-45页 |
2.2.4 SR结构化建模方法讨论 | 第45-46页 |
2.3 其它领域理论与软件可靠性建模 | 第46-53页 |
2.3.1 软件体系结构 | 第46-48页 |
2.3.2 软件度量和软件缺陷预测 | 第48-53页 |
2.4 本章小结 | 第53-54页 |
第3章 结合测试工作量与故障检测率的SRGM | 第54-72页 |
3.1 引言 | 第54-56页 |
3.2 通过测试工作量与故障检测率改进SRGM | 第56-61页 |
3.2.1 考虑测试工作量的NHPP类 SRGM | 第56-57页 |
3.2.2 测试工作量函数 | 第57-58页 |
3.2.3 变点与故障检测率函数 | 第58-60页 |
3.2.4 建立改进模型 | 第60-61页 |
3.3 改进模型的应用与验证 | 第61-70页 |
3.3.1 模型应用方法 | 第61-62页 |
3.3.2 实验设计 | 第62-64页 |
3.3.3 实验结果讨论 | 第64-70页 |
3.4 本章小结 | 第70-72页 |
第4章 基于结构分析的软件可靠性评估代数方法 | 第72-91页 |
4.1 引言 | 第72-74页 |
4.2 软件结构分析与可靠性评估的代数方法 | 第74-86页 |
4.2.1 建立代数工具 | 第74-76页 |
4.2.2 基本结构风格的可靠性范式 | 第76-83页 |
4.2.3 代数模型可靠性评估流程 | 第83-86页 |
4.3 有效性验证 | 第86-89页 |
4.3.1 算例描述 | 第86-87页 |
4.3.2 评估结果讨论 | 第87-89页 |
4.4 本章小结 | 第89-91页 |
第5章 基于代数方法的软件演化可靠性评估与分析 | 第91-113页 |
5.1 引言 | 第91-93页 |
5.2 面向软件演化的可靠性评估与分析 | 第93-102页 |
5.2.1 DTMC模型与增量式演化 | 第93-96页 |
5.2.2 软件结构的演化 | 第96-98页 |
5.2.3 可靠性评估与分析 | 第98-102页 |
5.3 算例实验与有效性验证 | 第102-111页 |
5.3.1 算例研究一 | 第102-106页 |
5.3.2 算例研究二 | 第106-111页 |
5.4 本章小结 | 第111-113页 |
第6章 基于软件度量的可靠性评估实证研究 | 第113-133页 |
6.1 引言 | 第113-115页 |
6.2 实验设计 | 第115-125页 |
6.2.1 实验项目与度量数据 | 第115-117页 |
6.2.2 基于多项式回归的模块参数聚合方法 | 第117-120页 |
6.2.3 基于循环神经网络的模块参数聚合方法 | 第120-123页 |
6.2.4 使用代数方法评估项目整体可靠性 | 第123-125页 |
6.3 实验结果分析 | 第125-132页 |
6.3.1研究问题RQ1 | 第125-129页 |
6.3.2研究问题RQ2 | 第129-131页 |
6.3.3 讨论 | 第131-132页 |
6.4 本章小结 | 第132-133页 |
第7章 总结与展望 | 第133-137页 |
7.1 全文总结 | 第133-134页 |
7.2 本文的创新之处 | 第134-135页 |
7.3 未来研究展望 | 第135-137页 |
参考文献 | 第137-150页 |
攻读博士学位期间的学术活动及成果情况 | 第150页 |