Release Time:2019-03-11 Hits:
Indexed by: Journal Article
Date of Publication: 2011-01-01
Journal: 清华大学学报. 自然科学版
Included Journals: CSCD、ISTIC、PKU、EI、Scopus
Volume: 51
Issue: 10
Page Number: 1363-1368
ISSN: 1000-0054
Key Words: 中断过载; 堆栈溢出; 遗传算法
Abstract: 嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多
样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC
V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大
大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。