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