下列正确性校验方式效率最低的是（）。