基于编码规则的中断数据访问冲突检测方法

• 作者: 杨孟飞 陈睿
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 数据访问冲突 编码规则 静态分析 航天嵌入式软件
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 技术交流
• 页码范围: 59-65
• 页数: 7页
• 分类号: TP311
• 字数: 4320字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2017.03.010

摘要

针对"重复加锁解锁"和"volatile修饰符误用"两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨孟飞		45	222	10.0	12.0
2	陈睿		7	30	3.0	5.0