检验的基础理论