首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于马尔可夫链的软件可靠性评估技术研究

摘要第1-8页
Abstract第8-10页
第一章 绪论第10-16页
   ·研究背景及意义第10-11页
   ·国内外研究现状第11-14页
     ·软件可靠性早期评估模型研究现状第11-13页
     ·软件可靠性增长模型研究现状第13-14页
   ·拟解决的关键问题第14-15页
   ·主要研究内容第15页
   ·本文的组织结构安排第15-16页
第二章 相关理论知识介绍与分析第16-28页
   ·软件可靠性第16-17页
     ·软件可靠性定义第16页
     ·软件可靠性度量指标第16-17页
   ·统一建模语言UML第17页
   ·软件可靠性测试第17-23页
     ·软件可靠性测试与可靠性评估的关系第17-19页
     ·软件可靠性测试的过程第19页
     ·基于使用模型的可靠性测试方法第19-21页
     ·基于运行剖面的可靠性测试方法第21-22页
     ·两种可靠性测试方法比较第22-23页
   ·软件可靠性增长评估模型第23-27页
     ·软件可靠性增长模型的分类第23-24页
     ·软件可靠性增长模型的建模过程第24页
     ·NHPP 类软件可靠性增长模型第24-25页
     ·几种常见的可靠性增长模型第25-26页
     ·可靠性增长模型中的局限性分析第26-27页
   ·本章小结第27-28页
第三章 构建基于马尔可夫链软件可靠性评估框架第28-32页
   ·框架的地位和作用第28-29页
   ·框架的构建第29-30页
   ·框架的运行流程第30-31页
   ·本章小结第31-32页
第四章 生成基于UML 的马尔可夫链使用模型第32-51页
   ·UML 的可靠性评估扩展第32-34页
     ·UML 图的选择第32页
     ·用例和场景的形式化描述第32-33页
     ·扩展用例和场景的形式化描述第33-34页
   ·确定马尔可夫链模型的转移概率第34-37页
     ·现有转移概率的确定方法第34-35页
     ·用层次分析法确定使用模型的转移概率第35-37页
   ·生成基于UML 的马尔可夫链使用模型第37-40页
     ·马尔可夫链使用模型的生成过程第37-38页
     ·马尔可夫链使用模型的生成算法第38-40页
   ·检验可靠性评估扩展的UML 模型第40-41页
   ·实例验证第41-50页
     ·ATM 软件的UML 模型第41-46页
     ·ATM 软件中用例和场景的形式化描述第46-48页
     ·构建ATM 的马尔可夫链使用模型第48-50页
   ·本章小结第50-51页
第五章 基于马尔可夫链使用模型完成软件可靠性早期评估第51-60页
   ·基于马尔可夫链使用模型的软件可靠性早期评估流程第51-52页
   ·预计场景的可靠性第52页
   ·构建面向对象软件可靠性早期评估模型第52-54页
     ·场景级软件可靠性早期评估模型第52-53页
     ·用例级软件可靠性早期评估模型第53-54页
   ·软件可靠性早期评估算法第54-56页
   ·实例验证第56-59页
     ·ATM 软件的早期评估模型第57页
     ·预计ATM 软件的可靠性值第57-59页
   ·本章小结第59-60页
第六章 构建离散时间的NHPP 软件可靠性增长模型第60-72页
   ·模型构建的原因第60-61页
   ·模型构建的过程第61-63页
     ·构建基本离散时间模型第61-62页
     ·构建扩展离散时间模型第62-63页
   ·模型的参数估计和评价标准第63-65页
     ·模型参数估计方法第63-64页
     ·模型的评价准则第64-65页
   ·模型的对比验证与评价第65-71页
     ·对比模型的选择第65-66页
     ·模型的对比验证与评价第66-71页
   ·本章小结第71-72页
第七章 总结与展望第72-74页
   ·总结第72-73页
   ·下一步工作展望第73-74页
参考文献第74-78页
作者简历 攻读硕士学位期间完成的主要工作第78-79页
致谢第79页

论文共79页,点击 下载论文
上一篇:基于可信虚拟机的全盘加密系统模型研究
下一篇:可信计算中的动态完整性度量方法研究