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

Research of interrupt systemresource conflict detection technology for embedded software

作　　者：杨芳[1] 齐璇[2] 董丽[1] 叶东升[1] 

机构地区：[1]中国航天科工集团第二研究院706所,北京100854 [2]北京系统工程研究所,北京100101

出　　处：《计算机工程与设计》2010年第23期5036-5038,5059,共4页Computer Engineering and Design

摘　　要：由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏。为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法。实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题。It is well known that interrupt triggered randomly and indeterminately,so problems raised by interrupt always occur,and some are serious software faults.Therefore to test interrupt system software put forward the very high request,but the tools for this kind of test are very few.In order to detect such problems effectively,the interrupt related typical fault modes have been introduced and the techniques and methods detecting interrupt system resource conflicts have been proposed.The experiment result shows that this method is effective for detecting the interrupt related resource conflicts in the embedded software.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]