验证是证明任何程序、（）、活动或系统确实能达到预期效果的有文件证明的一系列活动。