基于分形的软件可靠性模型和程序证明的数学机械化
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 引言 | 第10-18页 |
| ·研究意义 | 第10-13页 |
| ·国内外研究状况 | 第13-15页 |
| ·可靠性 | 第13-14页 |
| ·程序正确性证明 | 第14-15页 |
| ·本文的创新之处 | 第15-16页 |
| ·论文结构 | 第16-18页 |
| 第二章 软件可靠性介绍 | 第18-44页 |
| ·软件可靠性基本概念 | 第18-21页 |
| ·软件可靠性基本度量 | 第18-20页 |
| ·软件故障模式和失效模式 | 第20-21页 |
| ·软件失效时间序列建模与分析 | 第21-27页 |
| ·经典的软件可靠性模型 | 第27-34页 |
| ·威布尔可靠性模型 | 第27-28页 |
| ·贝叶斯可靠性模型 | 第28-30页 |
| ·支持向量机可靠性模型 | 第30-31页 |
| ·神经网络可靠性模型 | 第31-33页 |
| ·卡尔曼滤波可靠性模型 | 第33-34页 |
| ·软件测试和验证方法 | 第34-43页 |
| ·软件度量 | 第35-37页 |
| ·软件度量程序切片技术 | 第37-39页 |
| ·程序正确性验证的逻辑推理方法 | 第39-42页 |
| ·Petri 网 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第三章 基于分形的软件可靠性模型 | 第44-77页 |
| ·分形简介 | 第44-60页 |
| ·分形几何的产生 | 第45-48页 |
| ·分形空间和维数 | 第48-58页 |
| ·自相似和自仿射分形 | 第58-60页 |
| ·混沌与分形的区别 | 第60-62页 |
| ·分形幂律 | 第62-63页 |
| ·发现软件失效时间序列中的分形关系 | 第63-65页 |
| ·软件失效时间序列的分形预测算法 | 第65-69页 |
| ·实验验证 | 第69-75页 |
| ·本章小结 | 第75-77页 |
| 第四章 基于分形和ARIMA 的混合模型 | 第77-92页 |
| ·经典的时间序列预测混合模型 | 第77-80页 |
| ·ARIMA 和神经网络混合模型 | 第77-79页 |
| ·支持向量机和模拟退火算法的混合模型 | 第79-80页 |
| ·自回归移动平均模型 | 第80-83页 |
| ·基于分形和ARIMA 的混合模型 | 第83-91页 |
| ·软件可靠性混合模型 | 第84页 |
| ·软件失效预测算法 | 第84-85页 |
| ·实验验证 | 第85-91页 |
| ·本章小结 | 第91-92页 |
| 第五章 应用吴方法进行程序正确性证明 | 第92-115页 |
| ·Grobner 基方法 | 第92-97页 |
| ·Grobner 基定义 | 第92-96页 |
| ·Buchberger 算法 | 第96-97页 |
| ·吴方法 | 第97-102页 |
| ·应用吴方法发现程序循环不变量 | 第102-107页 |
| ·基于吴方法的算法 | 第102-106页 |
| ·实验验证 | 第106-107页 |
| ·应用吴方法证明递归程序的完全正确性 | 第107-114页 |
| ·本章小结 | 第114-115页 |
| 第六章 总结与展望 | 第115-117页 |
| ·全文总结 | 第115-116页 |
| ·展望和进一步工作 | 第116-117页 |
| 致谢 | 第117-118页 |
| 参考文献 | 第118-125页 |
| 攻读学位期间发表的学术论文 | 第125-126页 |
