根据GB/T12504-2008《计算机软件质量保证计划规范就》中的规定，在软件验收时，验证代码与设计文档的一致性、接口规格说明的一致性、设计实现和功能需求的一致性等检查属于 （  ）。