[单选]  （）的目的在于检查程序的静态结构，找出编译过程不能发现的程序算法错误。