中国空间科学技术 ›› 2017, Vol. 37 ›› Issue (2): 62-70.doi: 10.16708/j.cnki.1000-758X.2017.0052

• 研究探讨 • 上一篇    下一篇

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

 陈睿1,2, 杨孟飞3,*   

  1. 1北京控制工程研究所,北京  100190
    2北京轩宇信息技术有限公司,北京  100190
    3中国空间技术研究院,北京  100094
  • 收稿日期:2017-04-10 修回日期:2017-04-20 出版日期:2017-06-25 发布日期:2017-05-18
  • 作者简介:陈睿(1984-),男,博士研究生,高级工程师,chenrui@sunwiseinfo.com,研究方向为嵌入式软件测试 *通讯作者:杨孟飞(1962-),男,研究员,yangmf@bice.org.cn,研究方向为空间飞行器系统设计、控制计算机系统及嵌入式软件
  • 基金资助:

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

Studyonaerospaceembeddedsoftwaredataracebenchmark

 CHEN  Rui1,2, YANG  Meng-Fei3,*   

  1. 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
  • Received:2017-04-10 Revised:2017-04-20 Published:2017-06-25 Online:2017-05-18

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

关键词: 数据访问冲突, 基准测试集, 航天嵌入式软件, 数据竞争, 软件测试

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.

Key words: dataaccessconflict, benchmark, aerospaceembeddedsoftware, datarace, softwaretesting