Segmented Search for Maximum Error Detection in Floating-Point Arithmetic Expressions
Floating-point computation is a core technology in critical domains such as aerospace, artificial intelligence, defense, and financial settlement, where computational accuracy and performance are closely tied to system safety and reliability. However, the inherent representation error of floating-point numbers can propagate and accumulate during computation, potentially leading to severe consequences. In theory, the most accurate way to detect numerical errors is to exhaustively enumerate the entire floating-point input space, but the computational cost of doing so is prohibitive in practice. To address this challenge, this paper proposes a segmented-search-based error detection method for floating-point arithmetic expressions and implements it as an automated tool, SPOT (Segmented Precision Optimized Testing). SPOT adopts a two-stage optimization strategy. First, it leverages exponent-related error characteristics of floating-point numbers to narrow the exponent search space, thereby identifying exponent regions that are more likely to produce significant errors. It then applies the DEPS algorithm to search the mantissa space, while uniformly introducing an error-level-driven budget allocation mechanism across both stages to dynamically adjust search resources. In this way, SPOT ultimately identifies the maximum error and its corresponding input. Experimental results show that SPOT successfully detected errors on all 166 benchmark cases. In terms of maximum-error detection, SPOT outperformed ATOMU, EIFFEL, and FPCC on 95.69%, 89.76%, and 89.16% of the benchmarks, respectively, and achieved average speedups of 135.24× over EIFFEL and 58.11× over FPCC.
Sat 18 JulDisplayed time zone: Brisbane change
14:00 - 15:30 | Session 4: Software TestingResearch Track at Promenade Chair(s): Xinguo Feng The University of Queensland | ||
14:00 15mTalk | DFuzz: Differential Fuzzing for Silent Errors in LLM Operator Optimizations Research Track Jiayi Wang Nanjing University, Zihan Tang Nanjing University, Daohan Qu Nanjing University, Zenan Li ETH Zurich, Yuan Yao Nanjing University, Taolue Chen Birkbeck, University of London, Xiaoxing Ma Nanjing University | ||
14:15 15mTalk | Understanding Bugs in Vector Database Management Systems Research Track Yinglin Xie Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
14:30 15mTalk | Segmented Search for Maximum Error Detection in Floating-Point Arithmetic Expressions Research Track dmy Information Engineering University, Fei Li Information Engineering University, Jinchen Xu Information Engineering University, Hongru Yang Hunan University, Changsha, China, Tao Zhang Information Engineering University, Jiaxin Feng Information Engineering University, Bei Zhou Information Engineering University | ||
14:45 15mTalk | GapFuzz: Cross-Plane Divergence Fuzzing for Distributed SDN Controllers Research Track Moustapha Awwalou DIOUF SnT, University of Luxembourg, Samuel Ouya Cheikh Hamidou KANE Digital University, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg Pre-print | ||
15:00 15mTalk | HardRace: A Data Race Monitor for Production Use Research Track Xudong Sun , Zhuo Chen , Jingyang Shi Nanjing University, Yiyu Zhang Nanjing University, Peng Di Kunlunxin & UNSW Sydney, Fengwei Zhang Southern University of Science and Technology, Jianhua Zhao Nanjing University, China, Zhiqiang Zuo Nanjing University | ||
15:15 15mTalk | Generative Reasoning vs. Conventional Analysis: How Well Do LLMs Detect Data Races in Concurrent Programs? Research Track Xinyin Liao Xidian University, Zhiwei Lin Xidian University, Cheng Wen Xidian University, Jie Su Xidian University, Shengchao Qin Xidian University, Xiaoxue Ma City University of Hong Kong, Xiaofeng Li Beijing Institute of Control Engineering, Cong Tian Xidian University Media Attached | ||