一种基于条件数指导的浮点程序精度缺陷检测方法

摘要

一种基于条件数指导的浮点程序精度缺陷检测方法，其步骤包括：步骤S1.预处理；步骤S2.输入域划分；步骤S3.第一阶段搜索：对分输入域使用差分演化搜索算法查找能触发可能最大条件数的程序输入，并对整个分输入域表按找到的输入对应的程序输出的误差从大到小进行排序，获取排序后的分输入域列表并记录对应查找到的程序输入；步骤S4.第二阶段搜索：从排序后的分输入域表的表头取出分输入域，从第一阶段找到的程序输入作为初始测试点，查找能触发最大程序输出误差的程序输入，保存查找到的程序输入和对应输出误差到搜索结果表；步骤S5.精度缺陷验证。本发明具有能够提高检测准确度、提高检测稳定性、降低时间开销等优点。