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

摘要：

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

关键词：中断、资源冲突、形式化描述、副作用分析、嵌入式软件、检测

所属期刊栏目：31

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2011-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5036-5038,5059