Noticias sobre floating-point arithmetic

Las pruebas diferenciales tradicionales equiparan las diferencias de resultados entre motores con errores, pero la agregación de punto flotante no satisface la ley asociativa, lo que genera frecuentes falsos positivos. Este estudio utiliza valores racionales exactos como punto de referencia y propone una clasificación consciente de la condición, que distingue las diferencias como precisas, limitadas o inciertas, y su juicio se basa en las características algorítmicas de la consulta al motor. Esto significa que la confiabilidad de las pruebas diferenciales ya no depende de umbrales empíricos, sino de la caracterización matemática de las leyes de propagación de errores del algoritmo.