一种基于数学近似的浮点程序精度缺陷修复方法

摘要

一种基于数学近似的浮点程序精度缺陷修复方法，其步骤包括：步骤S1.预处理；步骤S2.定位精度缺陷：使用线性搜索算法查找包含能触发精度缺陷的最小输入区间I_err；步骤S3.生成数学近似；步骤S4.补丁生成和优化；步骤S5.补丁验证:对最小输入区间I_err进行采样，测试所有采样输入对应的修复后的浮点程序的输出是否满足精度需求，若满足则修复结束，若不满足且分配的计算资源还未耗尽则返回S2重新执行，若计算资源已经耗尽，则返回修复未完成，修复结束。本发具有能够提高修复能力、满足给定精度需求等优点。