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