程序插桩技术

1.概述

在动态测试中，是一种基本的测试手段，有广泛的应用.

主要借助向程序中插入操作，来实现测试目的的方法（即向源程序中添加一些语句（也称探测器），实现对程序语句的执行、变量的变化等情况进行检查）.

2.设计时考虑的问题

明确要探测哪些信息

在程序的什么部位设置探测点

需要设计多少个探测点

3.探测点设置位置（以Fortran为例）

程序块的第一个可执行语句之前

entry语句的前后

有标号的可执行语句处

循环语句之后

条件语句之后

logical if语句之后

call语句之后

go to语句之后

4.断言语句

在程序中的特定部位插入某些用以判断变量特性的语句，使得程序执行中这些语句得以证实，从而使程序的运行特性得到证实，我们把这些插入的语句称为断言语句。