图5 综合分析流程

　　综合分析实现程序块为：

　　4、测试应用

　　我们将上述设计的测试工具和方法对一段程序进行了实验验证，具体被测程序如下(8086汇编指令， 此处机器码为X=12时的)：在这个程序段中包含了两个条件分支和两个无条件分支语句，根据输入的数据X的值决定在哪儿进行条件转移，经过静态分析可以得出以下分析结果:

　　当X=12时，程序的语句执行序列是: 1，2，3，4，5，6，7，10，11，12，13

　　当X=-3时， 程序的语句执行序列是: 1，2，3，4，9，10，11，12，13

　　当X=0时， 程序的语句执行序列是: 1，2，3，4，5，10，11，12，13

　　当这段程序在目标机上运行时，我们得到的语句执行序列及消耗时间和语句地址记录为: