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

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

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

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

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

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

条件覆盖、语句覆盖

A．①③④

B．①②③

C．③④⑤

D．②③④

从日本进口动物及其产品报检时，除提供合同、发票、装箱单、各运程提单等贸易单证，还应按要求提供（）。

A.输出国官方检验检疫机构出具的检疫证书

B.《中华人民共和国进境动植物检疫许可证》

C.装运前检验证书

D.原产地证