一种基于概率模型的程序错误检测方法及系统

所属分类：现代化工产业

所属单位：天津科技大学

联系人：-

联系方式：0951-6087161 /5020588

所在地：

成果简介

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

其他成果推荐

更多>

一种高浓废液蒸发过程的消泡处理方法

所属单位：宁夏宁东清大国华环境资源有限公司

一种新型双氰胺溶液过滤装置

所属单位：石嘴山市鹏盛化工有限公司

斯列普活化炉高收率活化工艺

所属单位：宁夏恒辉活性炭有限公司

一种经济环保型氯酸盐分解工艺用添加剂

所属单位：宁夏千锋科技有限公司

煤矿用履带式全液压坑道钻机

所属单位：榆林科晨鑫机械设备有限公司

一种便携式粉末取样管

所属单位：陕西信矩致臻信息科技有限公司