基于关键范围不变量的软件错误定位

声明

摘要

1．1研究背景及意义

1．2研究现状

1．2．1 软件错误定位研究现状

1．2．2程序不变量研究现状

1．3本文主要研究内容

1．4论文组织结构

第2章方法概览

第3章范围不变量错误定位方法介绍

3．1程序插桩

3．1．1手动插桩

3．1．2基于语法树的插桩

3．2删除偶然正确测试用例

3．3范围不变量训练

3．4范围不变量错误定位

3．5本章小结

第4章基于关键范围不变量的错误定位方法

4．1关键变量筛选

4．1．1动态过滤机制Ⅰ

4．1．2动态过滤机制Ⅱ

4．1．3静态约简机制

4．2关键范围不变量训练

4．3关键范围不变量错误定位

4．4本章小结

第5章实验

5．1监控的变量数

5．2检查的可疑语句数

5．3定位到错误的版本数

5．4实验小结

6．1 总结

6．2展望

参考文献

攻读学位期间的研究成果

致谢