| 基于遗传算法的嵌入式软件中断过载动态检测 |
| |
| 引用本文： | 王洁,崔凯,周宽久,李显杰.基于遗传算法的嵌入式软件中断过载动态检测[J].清华大学学报(自然科学版),2011(10):1363-1368. |
| |
| 作者姓名： | 王洁 崔凯 周宽久 李显杰 |
| |
| 作者单位： | 大连理工大学嵌入式系统工程系; |
| |
| 基金项目： | 国家自然科学基金资助项目(91018003); 中央高校基本科研业务费专项资金资助项目(1600-852007) |
| |
| 摘 要： | 嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。
|
| 关 键 词： | 中断过载 堆栈溢出 遗传算法 |
Dynamic detection of interrupt overloads in embedded software using a genetic algorithm |
| |
| WANG Jie,CUI Kai,ZHOU Kuanjiu,LI Xianjie.Dynamic detection of interrupt overloads in embedded software using a genetic algorithm[J].Journal of Tsinghua University(Science and Technology),2011(10):1363-1368. |
| |
| Authors: | WANG Jie CUI Kai ZHOU Kuanjiu LI Xianjie |
| |
| Institution: | WANG Jie,CUI Kai,ZHOU Kuanjiu,LI Xianjie(Department of Embedded System Engineering,Dalian University of Technology,Dalian 116620,China) |
| |
| Abstract: | 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 ... |
| |
| Keywords: | interrupt overload stack overflow genetic algorithm |
| 本文献已被 CNKI 等数据库收录！ |
|
