航天嵌入式软件数据访问冲突基准测试集研究

• 作者: 杨孟飞 陈睿
• 来源期刊: 中国空间科学技术
• 学科: 工学
• 关键词: 数据访问冲突 基准测试集 航天嵌入式软件 数据竞争 软件测试
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 研究探讨
• 页码范围: 62-70
• 页数: 9页
• 分类号: TP311
• 字数: 6915字
• 语种: 中文
• DOI: 10.16708/j.cnki.1000-758X.2017.0052

摘要

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集.文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估.结果表明,RaceBench能够有效评估工具的适用性.

作者信息

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