根据《计算机软件质量保证计划规范 GB/T 12504—1990》中关于软件质量评审和检查的规定，在软件验收时，验证代码和设计文档的一致性、接口规格说明的一致性、设计实现和功能需求的一致性等的检查属于________。