基于关系数据理论的函数型程序似然不变量动态检测方法

摘要	第1-8页
ABSTRACT	第8-10页
第一章 绪论	第10-14页
·研究背景	第10-12页
·研究现状	第12-13页
·本文的组织结构	第13-14页
第二章 程序似然不变量的动态检测技术	第14-26页
·程序分析技术	第14-16页
·程序似然不变量检测技术	第16-18页
·Daikon	第18-22页
·DIDUCE	第22-25页
·小结	第25-26页
第三章 基于关系数据库的程序似然不变量编配工具	第26-37页
·程序编配工具分析	第26-27页
·编配工具设计	第27-33页
·用例图	第27-29页
·结构图	第29-30页
·类图	第30-32页
·时序图	第32-33页
·检测工具实现	第33-36页
·小结	第36-37页
第四章 基于关系数据理论的检测方法	第37-50页
·不变量检测试探法	第37-41页
·函数型不变量	第41-42页
·关系数据理论	第42-45页
·关系数据模型	第42-44页
·函数依赖推导	第44-45页
·基于关系数据理论的检测方法	第45-48页
·实验分析	第48-49页
·实验设计	第48页
·实验分析	第48-49页
·小结	第49-50页
第五章 总结展望	第50-52页
·工作总结	第50-51页
·工作展望	第51-52页
参考文献	第52-58页
成果目录	第58-59页
致谢	第59页