文献类型：期刊文章

作　　者：陈睿[1,2] 杨孟飞[3]

机构地区：[1]北京控制工程研究所,北京100190 [2]北京轩宇信息技术有限公司,北京100190 [3]中国空间技术研究院,北京100190

出　　处：《空间控制技术与应用》

基　　金：国家自然科学基金资助项目(91118007;61632005)

年　　份：2017

卷　　号：43

期　　号：3

起止页码：59-65

语　　种：中文

收录情况：BDHX、BDHX2014、CSCD、CSCD2017_2018、核心刊

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

关 键 词：数据访问冲突  编码规则  静态分析  航天嵌入式软件  

分 类 号：TP311]