检验是软件开发过程中不可缺少的部分，检验的目的在于（)。