程序插桩技术
1.概述
在动态测试中，是一种基本的测试手段，有广泛的应用.
主要借助向程序中插入操作，来实现测试目的的方法（即向源程序中添加一些语句（也称探测器）,实现对程序语句的执行、变量的变化等情况进行检查）.
2.设计时考虑的问题
明确要探测哪些信息
在程序的什么部位设置探测点
需要设计多少个探测点
3.探测点设置位置（以Fortran为例）
程序块的第一个可执行语句之前
entry语句的前后
有标号的可执行语句处
循环语句之后
条件语句之后
logical if语句之后
call语句之后
go to语句之后
4.断言语句
在程序中的特定部位插入某些用以判断变量特性的语句，使得程序执行中这些语句得以证实，从而使程序的运行特性得到证实，我们把这些插入的语句称为断言语句。