静态测试主要针对程序的（）进行，检测程序结构是否符合设计要求。