X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
欢迎来到宁夏技术市场,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
 常见问题  关于我们
成果
成果 专家 院校 需求
微信公众号
当前位置: 首页 >  科技成果  > 详细页

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

交易价格: 面议

类型: 发明专利

专利所属地:中国

专利号:CN201510982321.0

交易方式: 完全转让 许可转让

联系人: 天津科技大学

所在地:天津天津市

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述
分享
|
收藏
|

技术详细介绍

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

Copyright © 2018    宁夏回族自治区生产力促进中心    版权所有    宁ICP备11000235号-3    宁公网安备 64010402000776号

网站访问量:               网站在线人数:0              技术支持:科易网