在计算机上通过反证的程序，找出特定问题间是否存在逻辑上的不合理性

在数据库程序设计阶段,确定每一个变量特定范围编码

目测检查数据文件中的记录是否存在空白数据

目测检查数据文件中的记录是否存在相同的格式

采用双份录入法，打印出不一致的部分，并与原始表格的内容对照并修改，修改后再校对，直至两份录入的数据完全相同