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

Study on aerospace embedded software data race benchmark

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

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.