基于链式条件引导的数值程序浮点误差检测方法及装置

本发明公开一种基于链式条件引导的数值程序浮点误差检测方法及装置，该方法步骤包括：步骤S1：输入域分区：获取被测数值程序，将被测数值程序的输入域划分为多个子区间；步骤S2：链式条件引导搜索：在每个子区间基于采样输入所产生的链式条件数进行启发式搜索，记录每个区间能够产生最大链式条件数的输入，对所有记录的输入按照所产生的链式条件数取值从高到低排序，得到触发高浮点误差的输入列表；步骤S3：后向误差定位：对搜索出的链式条件数执行反向误差跟踪，识别出引入高链式条件数的浮点操作。本发明能够快速、精准地检测触发较大浮点误差的输入，提高数值程序的可靠性。