（3）表达式分析
对表达式进行分析，以发现和纠正在表达式出现的错误，如：
● 在表达式中不正确的使用了括号造成错误
● 数组下标越界错误
● 除数为零
● 浮点数计算的误差（最复杂）
（4）接口分析
接口一致性是程序的静态错误分析和设计分析共同研究的题目，接口分析主要对下内容时进行一致性的分析：
● 各模块之间接口一致性
● 模块与外部数据库的接口一致性
● 形参与实参在类型，数量，顺序，维数，使用上的一致性
● 全局变量和公共数据区在使用上的一致性
3．程序插桩技术
（1）概述
在动态测试中，是一种基本的测试手段，有广泛的应用
主要借助向程序中插入操作，来实现测试目的的方法（即向源程序中添加一些语句（也称探测器），实现对程序语句的执行、变量的变化等情况进行检查）
（2）设计时考虑的问题
● 明确要探测哪些信息
● 在程序的什么部位设置探测点
● 需要设计多少个探测点
（3）探测点设置位置（以Fortran为例）
● 程序块的第一个可执行语句之前
● entry语句的前后
● 有标号的可执行语句处
● 循环语句之后
● 条件语句之后
● logical if语句之后
● call语句之后
● go to语句之后
（4）断言语句
在程序中的特定部位插入某些用以判断变量特性的语句，使得程序执行中这些语句得以证实，从而使程序的运行特性得到证实，我们把这些插入的语句称为断言语句。
