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
CHEN Rui1,2, YANG Meng-Fei3,*
Received:
Revised:
Published:
Online:
Abstract: Nogoodbenchmarksuitewasmadetoevaluatethedetectionmethodsortoolsfortheadventofinterruptdatarace.Basedontherealaerospaceembeddedsoftwaredataracebugs,sixessentialfactorsrelatedtodataracedetectionwereproposed,andthedataracebenchmarksuitenamedRaceBenchforaerospaceembeddedsoftwarewasdesigned.TheRaceBench,whichisclosetorealprogramsandisextensible,coversallsixfactors.TheRaceBenchwasusedtoevaluateadataracedetectiontoolnamedSpaceDRC.TheresultshowsthatRaceBenchcanevaluatethecapabilitiesofthetooleffectively.
Key words: dataaccessconflict, benchmark, aerospaceembeddedsoftware, datarace, softwaretesting
CHEN Rui, YANG Meng-Fei. Studyonaerospaceembeddedsoftwaredataracebenchmark[J]. Chinese Space Science and Technology, 2017, 37(2): 62-70.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://journal26.magtechjournal.com/kjkxjs/EN/10.16708/j.cnki.1000-758X.2017.0052
https://journal26.magtechjournal.com/kjkxjs/EN/Y2017/V37/I2/62