石灰稳定类材料用于沥青路面的基层时，除层铺法表面处治外，应在基层上作下封层。（）

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