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

安全级软件可靠性定量评估方法研究

摘要第4-5页
Abstract第5-6页
第1章 绪论第13-19页
    1.1 研究背景及意义第13-14页
    1.2 国际标准与导则第14页
    1.3 国内外研究现状第14-15页
        1.3.1 国外研究现状第14-15页
        1.3.2 国内研究现状第15页
    1.4 可靠性定量评估存在的主要问题第15-16页
    1.5 研究内容第16-17页
    1.6 论文结构第17-19页
第2章 软件可靠性定量评估方法概述第19-27页
    2.1 软件可靠性评估原理分类第19-21页
        2.1.1 软件可靠性增长模型第19页
        2.1.2 贝叶斯置信网络第19-20页
        2.1.3 基于测试的方法第20页
        2.1.4 基于指标/标准的方法第20-21页
    2.2 概率风险分析方法原理第21-22页
        2.2.1 相关背景第21页
        2.2.2 风险分析工作流程第21-22页
    2.3 基于概率风险分析的软件可靠性定量评估第22-26页
        2.3.1 概率风险分析模型场景识别第23-24页
        2.3.2 运行剖面特征描述及采样第24-25页
        2.3.3 仿真模型生成测试用例第25页
        2.3.4 执行测试与结果分析第25-26页
    2.4 本章小结第26-27页
第3章 安全级软件的测试用例生成过程第27-45页
    3.1 冷却剂流量低保护子系统简介第27-28页
    3.2 PRA模型场景识别第28-30页
        3.2.1 系统概率风险分析第28-29页
        3.2.2 软件输入场景识别第29-30页
    3.3 运行剖面生成样本第30-33页
        3.3.1 运行剖面特征描述第30-32页
        3.3.2 蒙特卡罗采样第32-33页
    3.4 RELAP5热工水力模型仿真第33-43页
        3.4.1 RELAP5简介第33-34页
        3.4.2 RRLAP5建模单元第34-35页
        3.4.3 RELAP5建模步骤第35-37页
        3.4.4 一回路热工水力模型第37-43页
        3.4.5 仿真获取测试用例第43页
    3.5 本章小结第43-45页
第4章 无故障测试的贝叶斯推断过程第45-48页
    4.1 贝叶斯推断理论第45-47页
    4.2 安全级软件无故障测试第47页
    4.3 本章小结第47-48页
第5章 自动化测试系统的实现及结果分析第48-63页
    5.1 系统实现第48-60页
        5.1.1 主要实现方式与步骤第48-49页
        5.1.2 功能需求分析第49-51页
        5.1.3 程序结构设计第51-52页
        5.1.4 自动测试实现第52-60页
    5.2 结果分析第60-62页
    5.3 本章小结第62-63页
第6章 总结与展望第63-66页
    6.1 总结第63-64页
    6.2 展望第64-66页
参考文献第66-69页
致谢第69页

论文共69页,点击 下载论文
上一篇:微课辅助中级汉语综合课教学的行动研究
下一篇:用SVM回归实验对大气污染数据的处理研究