[发明专利]一种基于概率模型的程序错误检测方法及系统

摘要

本发明公开了一种基于概率模型的程序错误检测方法及系统，该方法包括以下步骤：S1、获取概率模型和待检测程序，从待检测程序中提取待检测的函数调用序列集合；S2、获取单个待检测的函数调用序列，求解最相似的函数调用序列集合，并计算联合概率；S3、根据相似集合对该待检测序列进行检测并生成修复方案；S4、完成该待检测序列的检测和修复后，记录检测到的各个错误信息及修复方案；S5、对待检测集合中的所有待检测序列检测完毕后，输出程序错误报告。本发明无需处理概率模型转换到确定性模型时的阈值选择问题，能够快速的检测程序中的错误，且检测准确率高。

主权项

一种基于概率模型的程序错误检测方法，其特征在于，包括以下步骤：S1、获取概率模型和待检测程序，从待检测程序中提取待检测的函数调用序列集合，记作待检测集合；概率模型为API使用协议库，该概率模型由人为给出，或采用自动化方法从程序中获得；S2、从待检测集合中获取单个待检测的函数调用序列，记作待检测序列，求解概率模型中与该待检测序列最相似的函数调用序列集合，记作相似集合；并计算相似集合中各函数调用序列在概率模型中的联合概率；根据概率模型A验证单个待检测的函数调用序列q的正确性，其具体方法为：根据概率模型A和待检测序列q求解函数调用序列集合P，使得任意的函数调用序列p∈P，满足下列条件：a、设A^*为去掉概率模型A中的概率后获得的确定性模型；b、函数调用序列p能够由A^*产生；c、设p'为由A^*产生的任一函数调用序列，则有δ(p，q)≤δ(p′，q)，其中δ(p，q)表示函数调用序列p和q之间的距离；计算联合概率的方法具体为：对于任意的函数调用序列p∈函数调用序列集合P，根据概率模型计算p的联合概率，联合概率为函数调用序列在概率模型中所对应路径上的概率的乘积；根据该联合概率对P中所有的函数调用序列按照从大到小进行排序；S3、根据相似集合对该待检测序列进行检测并生成修复方案，相似集合中每一条函数调用序列对应一个错误报告，所有错误报告构成一个错误报告组，组内错误报告按照函数调用序列的联合概率降序排列；对待检测序列进行检测和修复的具体方法为：按照联合概率从大到小依次获取函数调用序列集合P中函数调用序列p，比较函数调用序列p和待检测序列q，若二者相同，则q为正确的函数调用序列；否则，其中包含有错误；以最少的编辑操作将q转换为p，实施操作的位置和方法即为错误产生点和修复方案；S4、完成该待检测序列的检测和修复后，记录检测到的各个错误信息及修复方案，包括：错误的函数调用名称、错误产生的位置；S5、对待检测集合中的所有待检测序列检测完毕后，输出程序错误报告。