航空航天系统的软件属于安全关键软件，通常以嵌入式实时操作系统为平台，对软件的实时性，可靠性，执行效率等要求极高，同时不允许有任何的安全隐患存在。如何通过高效可靠的软件测试方法，及早发现和消除安全关键软件中存在的各种缺陷是软件测试领域关注的问题。中断程序为同步处理、实时处理、突发事件处理等提供高效、便利的解决方法，所以在安全关键软件的开发中中断程序不可或缺。本文以某型航天器关键系统中采用的DSP芯片的中断程序测试项目为背景，深入研究了TI公司C6X系列芯片的中断程序编写方法，COFF文件的解析，中断程序实时性测试等问题。采用静态分析技术，设计完成了安全关键软件中断缺陷分析工具，并重点给出了中断实时性检测模块的实现方法。中断缺陷分析工具通过源代码分析和目标文件分析相结合的方式，可以检测出中断系统资源冲突，中断函数响应实时性等方面存在的缺陷。实验结果表明，研发的分析工具能够提高安全关键软件中断程序的测试效率。