基于表格的中断数据冲突静态分析方法

中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.