程序测试分为静态分析和动态测试。其中_________是指不执行程序，而只是对程序文 本进行检查，通过阅读和讨论，分析和发现程序中的错误。

1947年夏，刘邓大军挺进大别山，基本上消灭了国民党的主力，这标志着解放战争转入战略反攻。