C/C++语言由于灵活、执行效率高、占用内存小等优点,是航空航天、军事、嵌入式系统的必然选择,但是容易发生内存泄漏问题,系统发生内存泄漏很容易被黑客攻击,为了避免使用C/C++开发的程序因内存泄漏而发生不可挽回的损失,检测内存泄漏非常有必要且具有很重要的现实意义。目前,内存泄漏检测技术主要分为动态检测和静态检测,已有的一些检测工具使用的是静态检测方法,存在静态分析时间过长和准确率过低的缺点,对于大型软件缺点尤为明显;有些检测工具是使用动态检测技术,存在的缺点是只能检测单分支路径是否发生内存泄漏。本文通过对内存泄漏相关知识和检测技术的研究,设计了对源代码基于测试用例的内存泄漏动态检测工具。为了解决动态检测只能检测一条分支路径是否存在内存泄漏的问题,使用动态符号执行技术生成测试用例,针对生成测试用例提出了在搜索路径的同时对循环条件进行分析判断是否存在和内存操作相关的语句的优化,该优化相比传统测试用例生成工具可以减少许多不必要的测试用例生成,可以大大减少生成测试用例所花的时间。通过这些测试用例对插桩程序进行内存泄漏动态检测,可以避免传统动态检测存在的路径单一的缺点,通过对每一条路径的动态执行分析内存相关信息,这样也保存了动态检测执行速度快的优点。动态检测过程中,遇到内存分配及释放操作时都能及时记录内存地址、内存大小及行号等信息,通过这些信息来判断该路径下是否发生内存泄漏以及发生内存泄漏的具体位置信息。最后通过对该内存泄漏检测工具进行功能测试,在单分支路径动态检测实验中发现该工具确实可以检测出该分支路径下存在的所有内存泄漏。实现该工具主要的技术难点是设计合适的插桩函数。实验表明,本文基于测试用例的内存泄漏动态检测工具相比已有的一些工具,确实能够提升代码检测效率,在减少生成测试用例的时间同时,检测的准确率也有所提升。