一种线性拟合函数驱动的输入区间预测方法和装置

摘要

本发明公开了一种线性拟合函数驱动的输入区间预测方法和装置。该预测方法首先通过线性拟合对待测程序路径约束的分析构建待测程序各个输入变量的输入区间，然后再通过输入区间抽样执行待测程序的结果削减输入区间找出最终的输入区间。相比盲目搜索，本发明通过线性拟合函数构建待测程序各个输入变量的输入区间，得到初始的输入区间序列的过程具有更高的效率。本发明通过大量随机抽样来削减区间序列，保证了削减各个输入变量的输入区间的公平性，防止了不同输入变量的输入区间的相互影响。