数据流图应从数据守恒、文件使用、_____、加工和数据流的命名等几个方面进行数据正确性检验。