以下关于软件测试的说法正确的包括（）。
①代码走查是静态测试方法，白盒测试是动态测试方法
②黑盒测试的对象是程序逻辑结构，白盒测试的对象是程序接口
③无论黑盒测试，还是白盒测试，都无法用穷举法设计全部用例
④对发现错误较多的程序段，应进行更深入的测试。因为发现错误数多的程序段，其质量较差，同时在修改错误过程中又容易引入新的错误
⑤测试覆盖标准从发现错误的强弱能力依次是路径覆盖、条件组合覆盖、 判定覆盖、条件覆盖、语句覆盖