正确性检验包括