将抛物线y=x²+1向下平移2个单位，则此时抛物线的解析式是______．

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