基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
推荐文章
基于参数类型和访问序的数据冲突静态分析方法
参数类型
参数访问序
静态方式
数据冲突
基于编码规则的中断数据访问冲突检测方法
数据访问冲突
编码规则
静态分析
航天嵌入式软件
基于视觉的表格自动识别方法
表格
项目
项目名
项目值
单元格
中断优先级改变对函数静态调用关系影响研究
中断优先级
函数调用关系
嵌入式系统测试
状态机
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于表格的中断数据冲突静态分析方法
来源期刊 空间控制技术与应用 学科 工学
关键词 中断冲突 数据关联性 操作关联性 时序冲突
年,卷(期) 2016,(5) 所属期刊栏目 技术交流
研究方向 页码范围 57-62
页数 6页 分类号 TP311.5
字数 5614字 语种 中文
DOI 10.3969/j.issn.1674-1579.2016.05.011
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 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
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (28)
共引文献  (24)
参考文献  (5)
节点文献
引证文献  (4)
同被引文献  (22)
二级引证文献  (0)
1978(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2003(4)
  • 参考文献(0)
  • 二级参考文献(4)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(4)
  • 参考文献(1)
  • 二级参考文献(3)
2007(3)
  • 参考文献(0)
  • 二级参考文献(3)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(3)
  • 参考文献(0)
  • 二级参考文献(3)
2011(4)
  • 参考文献(0)
  • 二级参考文献(4)
2013(3)
  • 参考文献(1)
  • 二级参考文献(2)
2015(3)
  • 参考文献(1)
  • 二级参考文献(2)
2016(1)
  • 参考文献(1)
  • 二级参考文献(0)
2016(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(2)
  • 引证文献(2)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
中断冲突
数据关联性
操作关联性
时序冲突
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
空间控制技术与应用
双月刊
1674-1579
11-5664/V
大16开
北京市2729信箱
1975
chi
出版文献量(篇)
985
总下载数(次)
2
总被引数(次)
3306
论文1v1指导