航天嵌入式软件数据访问冲突基准测试集研究 |
| |
引用本文: | 陈睿,杨孟飞.航天嵌入式软件数据访问冲突基准测试集研究[J].中国空间科学技术,2017,37(2):62-70. |
| |
作者姓名: | 陈睿 杨孟飞 |
| |
作者单位: | 1北京控制工程研究所,北京100190
2北京轩宇信息技术有限公司,北京100190
3中国空间技术研究院,北京100094 |
| |
基金项目: | 国家自然科学基金(91118007,61632005) |
| |
摘 要: | 针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。
|
关 键 词: | 数据访问冲突 基准测试集 航天嵌入式软件 数据竞争 软件测试 |
收稿时间: | 2017-04-10 |
|
| 点击此处可从《中国空间科学技术》浏览原始摘要信息 |
| 点击此处可从《中国空间科学技术》下载免费的PDF全文 |