中断驱动的嵌入式系统数据竞争检测工具

摘要：

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域，但因系统设计复杂，运行环境多样等原因，中断不确定性导致的严重故障时有发生，数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试，但目前还没有比较易用的解决方案。为了解决这类问题，提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析，检测出程序中使用的共享资源和中断使能操作；根据预处理的结果，构建出源程序对应的简要控制流图；通过对简要控制流图的抢占关系分析，得到可能会导致竞争关系的执行序列。实验结果表明，该方法能有效检测出程序中潜在的竞争关系，并指明该潜在竞争的发生路径，帮助软件测试人员对故障进行确认和修复。

关键词：中断、竞争、嵌入式系统、中断驱动、测试

分类号：TP311.5(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos.61321491,61472179;the National Basic Research Program of China under Grant No.2014CB340703国家重点基础研究发展计划973计划

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

页数：共12页

页码：914-925