Chinese Space Science and Technology ›› 2017, Vol. 37 ›› Issue (2): 62-70.doi: 10.16708/j.cnki.1000-758X.2017.0052

Previous Articles     Next Articles

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

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