基于参数类型和访问序的数据冲突静态分析方法

• 作者: 于倩 王小丽 董燕 虞砺琨 黄晨
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 参数类型 参数访问序 静态方式 数据冲突
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 短文
• 页码范围: 62-68
• 页数: 7页
• 分类号: TN492
• 字数: 6229字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2018.06.010

摘要

中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄晨		7	12	3.0	3.0
2	董燕		8	11	2.0	3.0
3	王小丽		11	77	4.0	8.0
4	虞砺琨		7	9	2.0	3.0
5	于倩		4	3	1.0	1.0