-
题名基于参数类型和访问序的数据冲突静态分析方法
被引量：5
- 1
-
-
作者
董燕
黄晨
王小丽
虞砺琨
于倩
-
机构
北京控制工程研究所
-
出处
《空间控制技术与应用》
CSCD
北大核心
2018年第6期62-68,共7页
-
基金
国家自然科学基金资助项目(91118007)~~
-
文摘
中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.
-
关键词
参数类型
参数访问序
静态方式
数据冲突
-
Keywords
parameter type
parameter access sequence
static testing
data conflict
-
分类号
TN492
[电子电信—微电子学与固体电子学]
-
