随着互联网技术的飞速发展,越来越多的软件出现在人们的生活中。软件测试作为保证软件质量的过程,发挥着越来越重要的作用。软件测试中的静态分析技术,可以在不运行程序的情况下,验证程序是否存在缺陷。目前常见的静态分析工具在分析C++程序时,会先使用编译器对源代码进行预处理,生成中间文件,然后对中间文件进行后续分析。而中间文件的代码规模通常有几十万行,且包含一些语法复杂的结构,会影响静态分析的效率,甚至会导致静态分析失败。因此对中间文件进行化简,提高静态分析效率,以及解决分析失败的问题,具有十分重要的研究意义。目前国内对中间文件化简的研究主要围绕在如何去除中间文件中的冗余信息上。这种方式虽然能提高分析效率,但是却不能解决在静态分析中出现的分析失败的问题。针对上述问题,本文提出一种中间文件化简方法。该方法首先对源程序进行分析,然后收集符号表中被记录为未知类型的符号,通过补全该符号的类型定义信息,最终形成化简后的中间文件。本文首先对中间文件的结构进行分析,并提出类型定义信息这一概念。然后分析中间文件中类型定义信息的特征,将类型定义信息特征抽象为一个四元组,并将类型定义信息补全算法划分为关键字判定法和正则表达式判定法。接着分析了类型定义信息间的一种特殊关系,本文将其定义为依赖关系,并对具有依赖关系的类型定义信息提出了优化策略。最后,本文基于缺陷检测系统(Defect Testing System,DTS),设计并实现了中间文件化简子系统,并对几个开源工程进行了实验。实验结果表明,该方法可以提高约50%的分析效率,并且能解决在静态分析中出现的分析失败的问题。