声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1研究背景和意义
1.2国内外研究进展
1.3研究内容及论文章节安排
第二章 相关基础理论
2.1模型检测
2.2抽象技术
2.3布尔程序
2.4良拟序迁移系统
2.5可达性问题和可覆盖性问题的关联
2.6本章小结
第三章 基于SMT和BP的多线程程序的可覆盖性分析
3.1 TTS上的基于SMT求解器的可覆盖性分析
3.2基于BP的KM算法模块
3.3基于SMT和BP的可覆盖性分析过程设计与实现
3.4本章小结
第四章 实验结果分析
4.1实验环境及测试集
4.2实验结果分析
4.3本章小结
第五章 总结与展望
5.1工作总结
5.2未来展望
参考文献
致谢
作者简介
西安电子科技大学;
