根据国家统一的会计制度，会计核算软件应当能对( )进行正确性检验。