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