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

基于预测的开销可控运行时验证技术研究

摘要第4-5页
ABSTRACT第5-6页
第一章 绪论第11-16页
    1.1 研究背景第11-12页
    1.2 国内外研究现状第12-14页
    1.3 本文的主要工作第14-15页
    1.4 论文的组织结构第15-16页
第二章 研究基础第16-30页
    2.1 运行时验证相关概念和技术第16-19页
        2.1.1 运行时验证的定义第16-17页
        2.1.2 运行时验证一般流程第17-18页
        2.1.3 LTL监控语义的相关研究第18-19页
    2.2 MaC验证框架第19-24页
        2.2.1 MaC的结构第20-21页
        2.2.2 MaC工作原理第21页
        2.2.3 事件和条件的定义第21-24页
    2.3 马尔可夫链第24-26页
    2.4 隐马尔可夫模型第26-27页
    2.5 自动机理论基础第27-29页
        2.5.1 有限状态机第27页
        2.5.2 确定有限自动机第27-28页
        2.5.3 非确定有限自动机第28页
        2.5.4 Büchi自动机第28-29页
    2.6 本章小结第29-30页
第三章 基于预测的开销可控软件运行时验证方法第30-42页
    3.1 基于预测的开销可控软件运行时验证基本框架第30-32页
    3.2 软件行为信息的收集和概率模型的建立第32-33页
    3.3 软件行为风险预测方法第33-38页
        3.3.1 软件行为风险预测基本方法第33-36页
        3.3.2 软件行为风险预测扩展方法第36-38页
    3.4 运行时验证开销控制策略第38-40页
    3.5 监控器构造方法第40-41页
    3.6 本章小结第41-42页
第四章 运行时验证工具实现第42-50页
    4.1 验证工具的输入与完成目标第42-43页
    4.2 工作流程和总体框架第43-44页
    4.3 主要功能模块的实现第44-49页
        4.3.1 性质规约定义及验证器构造第44-45页
        4.3.2 事件条件定义及代码插装模块实现第45-47页
        4.3.3 运行时验证模块实现第47-48页
        4.3.4 监控功能控制模块实现第48-49页
    4.4 本章小结第49-50页
第五章 案例及实验分析第50-59页
    5.1 性质规约以及监控器构造第50-51页
    5.2 事件条件定义及代码插装第51-53页
    5.3 程序运行时验证过程第53页
    5.4 监控功能的控制第53-55页
    5.5 实验及结果分析第55-58页
        5.5.1 风险预测结果与分析第55-56页
        5.5.2 监控开销控制结果与分析第56-58页
    5.6 本章小结第58-59页
第六章 总结与展望第59-61页
参考文献第61-65页
致谢第65-66页
在学期间的研究成果及发表的学术论文第66页

论文共66页,点击 下载论文
上一篇:实验动画创作中分镜头设计的问题研究
下一篇:西方绘画中静穆感形式语言对水彩画创作的启示