程序插装是联系静态分析与动态测试的关键桥梁，是实现软件自动化测试必不可少的关键步骤。通过程序插装进行动态测试，可获得程序的执行路径、覆概率、运行时间等动态信息，在软件测试中占有非常重要的地位。课题主要研究：优化插装算法、减少插装带来的冗余，通过捅装提取静态数据、获得面向函数调用关系静态路径集，并对相关覆盖率进行分析。　　路径测试法是白盒测试中的基本方法，其关键是确定程序中的路径集合。以C语言为例，通过分析面向过程语言的语句特点及函数模块特点，首先对被测系统进行插装，结合路径测试特点设计装点和探针内容，在设置探针的同时提取函数静态信息并保存在中间文件中，对插装中间文件进行函数级别的装点分析，提取全局静态路径集，给出了系统中所有可能的函数调用路径，实现了一种基于源代码函数捅装的自动化路径测试技术。　　全局函数路径的提取是课题研究的重点，软件变更影响分析及测试用例优化等工作都是基于提取后的函数路径来完成的。因此，源程序中函数调用关系静态路径集在整个项目中占有重要地位。实验结果表明，基于函数捅装的路径提取算法应用在全局静态路径的提取、路径覆盖率分析、函数时间性能分析等方面，具有较高的效率和准确性。