U/C矩阵的正确性检验包括完备性检验、一致性检验和无冗余性检验。