关于 floating-point arithmetic 的报道
共 1 篇相关报道
有界、不确定或错误：用于 SQL 聚合差异测试的条件感知 Oracle
Bounded, Indeterminate, or a Bug: A Condition-Aware Oracle for Differential Testing of SQL Aggregates
AI 洞察传统差分测试把跨引擎结果差异等同于 bug，但浮点聚合本就不满足结合律，导致误报频发。该研究以精确有理值为基准，提出条件感知分类，将差异区分为精确、有界或不确定，其判断依据从查询转向引擎的算法特性。这意味着差分测试的可靠性不再依赖经验阈值，而取决于对算法误差传播规律的数学刻画。核心结论SQL 聚合差分测试正在从「差异即 bug」转向「按误差边界分类」的条件感知判断。为什么重要现有差分测试对浮点聚合要么依赖 epsilon 补丁，要么完全回避浮点场景。该 Oracle 提供精确数学基准，可自动区分真实缺陷与合法误差，有望降低数据库测试中的误报率，提升对 SQL 聚合实现的自动化验证能力。这也为其他数值密集型系统（如机器学习推理）的差分测试提供了方法论参考。影响谁- Database Developers可将该 Oracle 集成至测试套件，自动过滤合法浮点误差，减少人工审查成本。
- Differential Testing Tools获得理论支撑的测试判据，替代经验性 epsilon，提升测试可信度。
- 研究人员若误差边界公式可扩展至更多算法或算子，或衍生新的测试覆盖策略。
后续看点后续应观察该 Oracle 是否被实际集成进主流数据库测试框架（如 SQLancer），以及其误差边界公式能否推广到非聚合算子。若出现基于该方法的工具或更广泛的实证评估，将验证其实用价值。重要度 66/100