嵌入式软件中断系统资源冲突检测技术研究

• 作 者: 杨芳 齐璇 董丽 叶东升
• 机 构: 中国航天科工集团第二研究院706所,北京系统工程研究所
• 出 处: 计算机工程与设计
• 发表日期: 2010年23期
• 关键词: 中断 资源冲突 形式化描述 副作用分析 嵌入式软件 检测 interrupt resources conflicts formalization describ

由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。