单项选择题

A、对代码的测试比较彻底
B、不验证规格的正确性
C、最优化
D、无法揭示隐藏在代码中的错误