floating-point arithmetic に関する報道

従来の差分テストでは、エンジン間の結果の違いをバグとみなしますが、浮動小数点集計では結合法則が満たされないため、誤検知が頻繁に発生します。この研究では、正確な合理的な値をベンチマークとして使用し、差異を正確、限定的、または不確実なものとして区別する条件認識分類を提案しており、その判断はクエリからエンジンのアルゴリズム特性に基づいています。これは、差分テストの信頼性が経験的なしきい値に依存するのではなく、アルゴリズムの誤差伝播の法則の数学的特性に依存することを意味します。