设计验证的目的是验证设计输出是否满足设计输入的要求,这种验证是在设计的适宜过程中进行的,验证活动包括( )。