选择题 .  V模型指出，______对程序设计进行验证，______对系统设计进行验证，______应当追溯到用户需求说明。47.