动静态结合的中断驱动程序数据竞争检测方法

摘要

本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜在的数据竞争序列，通过对静态分析的结果进行动态执行，验证潜在竞争的真实性，并根据潜在竞争的严重性进行排序，得到测试结果报告。通过本发明实现的工具对中断驱动程序的测试，可以有效地检测出真实的中断相关的竞争关系，并根据严重性提供一系列的潜在竞争关系作为指导，能够极大地促进测试人员的工作效率，突破解决了中断驱动的数据竞争检测问题，保障嵌入式系统的安全和稳定，可以为航天、医疗等高稳定性嵌入式程序需求的关键性安全领域提供可靠性保证。

主权项

一种动静态结合的中断驱动程序数据竞争检测方法，其特征在于该方法包含的步骤为：步骤1：用户指定受测试的中断驱动程序源文件，所述的中断驱动程序源文件包含若干个函数构成的主任务的源代码，以及该任务涉及到的中断所对应的中断处理程序的源代码；步骤2：用户指定测试的配置文件，所述配置文件是XML文件，XML的全称是可扩展标记语言，可以用来标记数据、定义数据类型，是一种允许用户对自己的标记语言进行定义的源语言；所述的测试配置文件包括主函数的入口说明、各个中断处理程序的中断向量号和中断优先级；步骤3：对受测试的中断驱动程序源文件进行共享资源检测，得到共享资源列表；步骤4：对受测试的中断驱动程序源文件进行中断操作行为检测，得到中断操作列表；步骤5：对中断驱动程序源文件进行分析，得到简要控制流图RCFG，步骤6：将所有的RCFG互联起来，得到全局的中断互联控制流图IICFG；步骤7：对IICFG进行深度优先遍历，得到中断驱动源程序的静态分析结果；步骤8：在西米克斯Simics仿真平台中执行中断驱动程序源文件，验证静态预测结果PR中的所有静态分析结果，步骤9：对验证后的验证结果进行严重性排序，从而得到了对受测试的中断驱动程序源文件的竞争检测结果。