参考答案：A

解析： 根据《计算机软件质量保证计划规范GB/T12504-1990》“4.5评审与检查”第4.5.7条条文，在软件验收时，要允许用户或用户所委托的专家对所要验收的软件进行设计抽样的综合检查，以验证代码和设计文档的一致性、接口规格说明之间的一致性(硬件和软件)、设计实现和功能需求的一致性、功能需求和测试描述的一致性。