您的位置: 首页 > 农业专利 > 详情页

一种基于控制流的数据竞争误报降低方法
专利权人:
北京控制工程研究所
发明人:
顾斌,王政,董晓刚,綦艳霞,陈尧,赵雷,陈睿
申请号:
CN201310744664.4
公开号:
CN103678136B
申请日:
2013.12.30
申请国别(地区):
中国
年份:
2015
代理人:
陈鹏
摘要:
一种基于控制流的数据竞争误报降低方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法,目的在于降低误报、提高分析准确度。一般认为,主程序和中断服务程序具有共享变量时,如果二者中至少一个对该共享变量进行了写操作,那么该变量可能会发生数据竞争。本发明以语法分析技术为基础,结合领域特征,识别无害的数据竞争,降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率,有利于发现真正有害的数据竞争。
来源网站:
中国工程科技知识中心
来源网址:
http://www.ckcest.cn/home/

意 见 箱

匿名:登录

个人用户登录

找回密码

第三方账号登录

忘记密码

个人用户注册

必须为有效邮箱
6~16位数字与字母组合
6~16位数字与字母组合
请输入正确的手机号码

信息补充