公开(公告)号：CN111290946B

公开(公告)日：2021-04-20

申请号：CN202010056313.4

申请日：2020-01-18

Applicant: 北京大学

Inventor： 邹达明 ,  曾沐焓 ,  熊英飞 ,  张路

IPC: G06F11/36

Abstract: 本发明涉及一种基于原子状态函数的浮点数误差检测方法和装置。本发明对源代码或程序进行插桩以获取程序运行时的内部状态；通过程序运行时的内部状态，计算每个浮点数运算的原子状态函数，挖掘原子状态函数与浮点数误差的内在联系，推断出原子状态函数与误差的强关联性；构建搜索框架，利用搜索算法得到会触发高危原子状态函数的测试用例集合；该测试用例集合即为揭错率高，会触发显著浮点数误差的输入。由于计算原子状态函数不需要引入高精度浮点数，不依赖于测试预言，使得本发明不依赖于测试预言，并且揭错率高，运行开销小，不依赖于高精度浮点数，运行时间快。

公开(公告)号：CN111290946A

公开(公告)日：2020-06-16

申请号：CN202010056313.4

申请日：2020-01-18

Applicant: 北京大学

Inventor： 邹达明 ,  曾沐焓 ,  熊英飞 ,  张路

IPC: G06F11/36

Abstract: 本发明涉及一种基于原子状态函数的浮点数误差检测方法和装置。本发明对源代码或程序进行插桩以获取程序运行时的内部状态；通过程序运行时的内部状态，计算每个浮点数运算的原子状态函数，挖掘原子状态函数与浮点数误差的内在联系，推断出原子状态函数与误差的强关联性；构建搜索框架，利用搜索算法得到会触发高危原子状态函数的测试用例集合；该测试用例集合即为揭错率高，会触发显著浮点数误差的输入。由于计算原子状态函数不需要引入高精度浮点数，不依赖于测试预言，使得本发明不依赖于测试预言，并且揭错率高，运行开销小，不依赖于高精度浮点数，运行时间快。