嵌入式软件数据竞争检测方法

摘要：

数据竞争问题会给软件程序带来极大的安全隐患,因此,如何有效地检测数据竞争一直是一个热门研究领域.尽管如此,当今有关嵌入式软件中数据竞争的研究仍然非常有限.E-RACE是一种定义数据竞争的新式工具,它能够直接利用特定的硬件性能来操控数据流和指令流.与现有的数据竞争分析方法相比,这种新式工具不需要通过大量的软件代码插装,也能够完成数据竞争监测.将这种新式工具运用到嵌入式软件单元测试驱动开发框架当中去,不仅能够促进可测试代码的实现,还能在早期识别潜在的数据竞争可能.

关键词：数据竞争、嵌入式软件、E-RACE、锁集合、多线程处理

分类号：TP309(计算技术、计算机技术)

在线出版日期：2017-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：95-96