[00103793]一种基于概率模型的程序错误检测方 法及系统
技术详细介绍
本发明提供的方法以采用概率模型描述的API使用协议作为输入，实现对程序的自动错误检测并给出修复方法，可应用于程序静态分析或动态分析技术。其优点是：直接以概率模型作为输入，准确的定位错误的API调用，自动给出错误修复方法，能够处理多种与API误用相关的程序错误，包括：对象未正确初始化、资源泄露以及API函数调用缺失等。生成的错误报告按组输出，组内错误报告按照概率模型的联合概率从大到小进行排列，进一步提高软件开发人员解决程序错误的效率。 该技术可用于研制更加高效的程序错误检查工具，进一步提高软件开发人员解 决程序错误的效率，可应用于软件产品质量检测机构。
