基于表格的中断数据冲突静态分析方法

• 作者: 王小丽 董燕 虞砺琨 黄晨
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 中断冲突 数据关联性 操作关联性 时序冲突
• 年，卷（期）: 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