程序插装（Program Instrumentation）是一种 软件测试技术，它通过在被测程序中插入特定的操作（称为“探针”）来获取程序的控制流和数据流信息，从而实现测试目的。这种方法在软件动态测试中应用广泛，是覆盖率测试、软件故障注入和动态性能分析的基础技术。
程序插装的基本原理是在保证程序逻辑完整的前提下，通过修改源程序的RTL（寄存器传输语言），插入或修改代码，使得在程序运行时能够抛出特定的运行特征数据。这些数据包括程序的实际执行路径信息、路径覆盖信息等，从而帮助测试人员了解程序的执行情况，并发现潜在的错误和性能瓶颈。
程序插装可以通过多种方式实现，例如：
静态插装：
在编译阶段通过修改源代码来实现插装。
动态插装：
在程序运行时通过加载额外的代码或修改内存来实现插装。
程序插装工具通常包括探针插入、数据收集和分析等功能，能够帮助测试人员自动化地进行插装和测试过程。例如，RegressionTestC1.0是一个自主开发的白盒回归测试工具，它通过对软件源代码的静态分析，绘制带有控制逻辑的图，并在特定位置插入探针函数，从而在程序运行时收集运行特征数据。
总的来说，程序插装是一种强大的软件测试技术，它通过在程序中插入探针来获取程序的控制流和数据流信息，从而帮助测试人员更有效地进行软件测试和性能分析。