基于三值语义的软件运行时验证方法

摘要	第1-8页
ABSTRACT	第8-10页
第一章 绪论	第10-17页
·课题研究背景	第10-11页
·国内外研究现状	第11-14页
·论文的主要工作及创新	第14-15页
·论文的组织结构	第15-17页
第二章 三值语义及预测监控器构造	第17-25页
·线性时序逻辑LTL	第17-18页
·LTL 的三值语义	第18-21页
·基于LTL 三值语义的预测监控器构造	第21-24页
·小结	第24-25页
第三章 基于三值语义的运行时验证方法	第25-40页
·基于三值语义的运行时验证基本框架	第25-28页
·性质规约描述与监控器构造	第28页
·事件和条件定义	第28-30页
·事件和条件规约描述	第30-34页
·PEDL 规约	第31-32页
·MEDL 规约	第32-34页
·目标系统的代码插装	第34-37页
·事件监听器	第37-39页
·小结	第39-40页
第四章 基于三值语义的运行时验证工具设计与实现	第40-50页
·设计目标	第40页
·工作流程与总体框架	第40-42页
·静态结构和主要功能模块的实现	第42-49页
·基于LTL 三值语义的监控器构造模块实现	第43-45页
·代码插装模块实现	第45-49页
·小结	第49-50页
第五章 案例分析	第50-55页
·待验证性质规约定义与监控器构造	第50-51页
·事件、条件定义与代码插装	第51-53页
·系统运行时验证过程	第53-54页
·小结	第54-55页
结束语	第55-57页
致谢	第57-58页
参考文献	第58-61页
作者在学期间取得的学术成果	第61页