以下关于软件测试的说法正确的包括（）。

①代码走查是静态测试方法，白盒测试是动态测试方法。

②黑盒测试的对象是程序逻辑结构，白盒测试的对象是程序接口。

③无论黑盒测试，还是白盒测试，都无法用穷举法设计全部用例。

④对发现错误较多的程序段，应进行更深入的测试。因为发现错误数多的程序段，其质量较差，同时在修改错误过程中又容易引入新的错误。

⑤测试覆盖标准从发现错误的强弱能力依次是路径覆盖、条件组合覆盖、判定覆盖、条件覆盖、语句覆盖。

A.①③④

B.①②③

C.③④⑤

D.②③④

自动闭塞能按（）的空间间隔法把列车分隔开，使列车密度增加，并且两列车之间保持一定的安全间隔按规定速度运行，从而起到提高通过能力和保证行车安全的作用。

A.站间区间

B.所间区间

C.闭塞分区