摘要
嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。
Embedded software needs to deal with many interrupts,but random interrupts lead to test difficulties in embedded systems which are becoming more and more complicated.A method is given to enable dynamic detection of interrupt overloads based on a genetic algorithm.The algorithm handles diverse types of interrupts with non-uniform searches giving improved local searches to construct an interrupt handling sequence to generate the stack depth and detect stack overflow errors during interrupt execution.Tests on a SPARC V8 architecture Virtualsparc simulation platform show that this method quickly detects the loss rate of non-executed interrupts in the stack.Dynamic changes in the stack depth greatly reduce the interrupt overload loss rate with increased detection efficiency of interrupt faults in embedded software.
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2011年第10期1363-1368,共6页
Journal of Tsinghua University(Science and Technology)
基金
国家自然科学基金资助项目(91018003)
中央高校基本科研业务费专项资金资助项目(1600-852007)
关键词
中断过载
堆栈溢出
遗传算法
interrupt overload
stack overflow
genetic algorithm