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

• 作者: 李宣东 王林章 石浚菁 陈园军
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 中断 竞争 嵌入式系统 中断驱动 测试
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 914-925
• 页数: 12页
• 分类号: TP311.5
• 字数: 7652字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1411052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机软件新技术国家重点实验室	72	1417	20.0	36.0
5	王林章	南京大学计算机软件新技术国家重点实验室	23	610	12.0	23.0
9	陈园军	南京大学计算机软件新技术国家重点实验室	1	4	1.0	1.0
13	石浚菁	南京大学计算机软件新技术国家重点实验室	1	4	1.0	1.0