参考答案：A

解析：根据《计算机软件质量保证计划规范GB/T12504-1990》，验证是指确定在软件开发周期中的一个给定阶段的产品是否达到在上一阶段确立的需求的过程，由此可知本题的正确选项为A。