第一章 绪论
1.1 论文研究背景与意义
1.2 论文研究目标与研究内容
1.3 论文的组织结构安排
第二章 国内外研究现状
2.1 软件模型检测相关研究
2.2 建模技术相关研究
第三章 变量注释与程序预处理
3.1 变量注释
3.2 程序预处理
3.2.1 类表构建
3.2.2 语句二叉树构建
3.2.3 检测相关语句识别与标注
3.2.4 粒度判定策略
3.3 本章小结
第四章 粗粒度自动建模方法
4.1 源程序变量处理
4.2 针对特定语句的细粒度描述方法
4.3针对代码段的粗粒度描述方法
4.3.1 预定义函数模板
4.3.2 预定义粗粒度模型片段模板
4.3.3 代码段到复杂弧表达式的映射算法
4.4 本章小结
第五章 粗粒度建模方法应用与效果分析
5.1 实例应用
5.2 效果分析
5.3 本章小结
第六章 总结与展望
6.1 总结
6.2 展望
参考文献
致谢
硕士期间发表论文
内蒙古大学;
