题目：C++白盒单元测试支持工具的研究与实现

单元测试是针对软件设计的最小单位——程序模块进行正确性检验的测试阶段，其测试对象是源程序代码与详细设计，目的是检查各个程序单元是否正确地实现了规定的功能。单元测试能让程序员尽早发现缺陷，有效降低滞后纠错带来的高成本。在软件工程新的方法学中，单元测试更是被重视：测试驱动的软件开发以测试作为开发过程的中心；极限编程依赖于程序员编写单元测试驱动程序及早捕获错误，使开发顺利进行。传统的单元测试过程在编写单元测试用例时依赖于测试人员对代码的理解和对代码结构的分析，而这些不但要花费大量时间而且还需要测试人员具有丰富的知识和经验。单元测试的重要性和开销大这对矛盾使研究并开发出一个白盒单元测试支持工具来辅助进行单元测试变得十分必要。本课题在对软件测试过程与单元测试技术进行调研的基础上，分析了大型C++软件项目中单元测试对测试支持工具的需求，设计并实现了白盒单元测试支持工具。研发的C++白盒单元测试支持工具提供下列功能：对被测程序源代码进行静态分析，得到程序的静态结构信息；自动生成单元测试框架；辅助生成单元测试用例；提供对测试用例的有效管理；动态生成测试驱动程序文件；给出类和方法的覆盖测试结果统计报告。本文首先简要介绍了国内外相关领域的研究现状，介绍了北航软件工程研究所研发的软件分析与白盒测试工具QESatCpp，确定了本课题在该工具提供的静态分析工具和动态插装工具的基础上进行白盒单元测试支持工具的研究策略。在论文中详细介绍了C++白盒单元测试支持工具的系统功能、体系结构和设计实现，论述了系统设计中采用的关键技术。在系统设计和实现部分，对工具的各个功能模块的设计与实现进行了详细的说明。