单元覆盖测试通过检测函数单元中的某类成分是否被测试过程覆盖来判断测试的充分性。任何函数单元都不是独立的,往往需要调用其它函数来完成目标功能。模块化的编程思想导致函数中出现了越来越多的函数调用。在基于路径的单元覆盖测试中,如何处理函数调用会对路径分析的结果造成很大的影响。已有的处理方法(如函数摘要、环境建模和打桩等)主要通过对函数调用点及其上下文环境进行抽象来分析,可能会得到不正确的分析结果。本文提出了一种基于控制流图内联展开的函数间路径分析方法,围绕该方法进行了以下工作:(1)提出了一种面向目标的函数间路径生成的方法。在该方法中,路径生成的对象是含有调用关系的多个函数组成的“模块”,选路基于“模块”的控制流图实施,并给出了两种选路的算法:回溯法和关键路径法。(2)提出了一种面向函数间路径的不可达判定方法。该方法以符号执行、区间运算等技术为基础,对函数间路径的控制流和数据流进行分析,判定路径是否可达。通过这种方式得到的路径分析结果是完备的。作者在代码测试系统(CodeTesting System,CTS)的基础上实现了上述方法,并使用实际工程对以上实现进行了测试实验。实验结果表明,本文提出的方法可以在较短时间内为工程中的“模块”生成路径以及判定路径是否可达,得到的路径覆盖率超过了 80%。