中国空间科学技术
       首 页 |  期刊介绍  |  编委会  |  投稿指南  |  期刊订阅  |  广告合作  |  留 言 板  |  联系我们  |  English
中国空间科学技术 2017, Vol. 37 Issue (2) :62-70    DOI: 10.16708/j.cnki.1000-758X.2017.0052
研究探讨 最新目录 | 下期目录 | 过刊浏览 | 高级检索 << Previous Articles | Next Articles >>
航天嵌入式软件数据访问冲突基准测试集研究
 陈睿1,2, 杨孟飞3,*
1北京控制工程研究所,北京  100190
2北京轩宇信息技术有限公司,北京  100190
3中国空间技术研究院,北京  100094
Studyonaerospaceembeddedsoftwaredataracebenchmark
 CHEN  Rui1,2, YANG  Meng-Fei3,*
1BeijingInstituteofControlEngineering,Beijing100190,China
2Beijing  SunwiseInformationTechnologyCoLtd.,Beijing100190,China
3ChinaAcademyofSpaceTechnology,Beijing100094,China
Download: PDF (1631KB)   HTML (1KB)   Export: BibTeX or EndNote (RIS)      Supporting Info
摘要 针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。
Service
把本文推荐给朋友
加入我的书架
加入引用管理器
Email Alert
RSS
作者相关文章
陈睿
杨孟飞
关键词数据访问冲突   基准测试集   航天嵌入式软件   数据竞争   软件测试     
Abstract: Nogoodbenchmarksuitewasmadetoevaluatethedetectionmethodsortoolsfortheadventofinterruptdatarace.Basedontherealaerospaceembeddedsoftwaredataracebugs,sixessentialfactorsrelatedtodataracedetectionwereproposed,andthedataracebenchmarksuitenamedRaceBenchforaerospaceembeddedsoftwarewasdesigned.TheRaceBench,whichisclosetorealprogramsandisextensible,coversallsixfactors.TheRaceBenchwasusedtoevaluateadataracedetectiontoolnamedSpaceDRC.TheresultshowsthatRaceBenchcanevaluatethecapabilitiesofthetooleffectively.
Keywordsdataaccessconflict,   benchmark,   aerospaceembeddedsoftware,   datarace,   softwaretesting     
收稿日期: 2017-04-10; 出版日期: 2017-05-18
基金资助:

国家自然科学基金(91118007,61632005)

作者简介: 陈睿(1984-),男,博士研究生,高级工程师,chenrui@sunwiseinfo.com,研究方向为嵌入式软件测试 *通讯作者:杨孟飞(1962-),男,研究员,yangmf@bice.org.cn,研究方向为空间飞行器系统设计、控制计算机系统及嵌入式软件
引用本文:   
陈睿, 杨孟飞 .航天嵌入式软件数据访问冲突基准测试集研究[J]  中国空间科学技术, 2017,V37(2): 62-70
CHEN Rui, YANG Meng-Fei .Studyonaerospaceembeddedsoftwaredataracebenchmark[J]  Chinese Space Science and Technology , 2017,V37(2): 62-70
链接本文:  
http://219.239.198.239/kjkxjs/CN/10.16708/j.cnki.1000-758X.2017.0052      或     http://219.239.198.239/kjkxjs/CN/Y2017/V37/I2/62
 
没有本文参考文献
没有找到本文相关文献
Copyright 2010 by 中国空间科学技术