k位的校验码可以有2^k个值。显然,其中一个值表示数据是正确的,而剩下的2^k–1个值意味着数据中存在错误,如果能够满足:2^k–1>=m+k(m+k为编码后的总长度),在理论上k个校验码就可以判断是哪一位(包括信息码和校验码)出现问题。