一种基于控制流的数据竞争误报降低方法

• 收藏
• 分享

专利权人:

北京控制工程研究所

发明人:

顾斌,王政,董晓刚,綦艳霞,陈尧,赵雷,陈睿

申请号：

CN201310744664.4

公开号：

CN103678136B

申请日:

2013.12.30

申请国别(地区):

中国

年份:

2015

代理人:

陈鹏

摘要：

一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。

来源网站：

中国工程科技知识中心

来源网址：

http://www.ckcest.cn/home/