支持非数值型测试用例自动生成的抽象内存建模技术研究

摘要	第1-5页
ABSTRACT	第5-7页
第一章 绪论	第7-12页
·研究背景	第7-8页
·研究内容	第8-10页
·论文结构	第10-12页
第二章 单元测试综述	第12-22页
·单元测试概述	第12-14页
·白盒测试和黑盒测试	第14-15页
·静态测试和动态测试	第15-16页
·代码测试系统CTS	第16-17页
·面向路径测试的相关技术	第17-21页
·本章小结	第21-22页
第三章 抽象内存模型	第22-27页
·抽象内存存储模型	第22-25页
·抽象内存模型基本操作	第25-26页
·本章小结	第26-27页
第四章 约束提取算法	第27-41页
·通用操作符	第28页
·指针	第28-34页
·数组	第34页
·结构体	第34-35页
·非数值型变量测试用例形状生成	第35-37页
·实例分析	第37-39页
·本章小结	第39-41页
第五章 设计实现和结果分析	第41-51页
·代码测试系统CTS简介	第41-42页
·抽象内存建模技术的设计和实现	第42-47页
·实验结果及分析	第47-50页
·本章小结	第50-51页
第六章 总结和展望	第51-53页
·论文总结	第51-52页
·下一步的研究工作	第52-53页
参考文献	第53-56页
致谢	第56-57页
作者攻读学位期间发表论文	第57页