Hits:

Indexed by:期刊论文

Date of Publication:2012-01-01

Journal:计算机工程与应用

Included Journals:ISTIC

Key Words:软件测试; 最大堆栈深度(WCSD); 状态变迁; 中断调度; 遗传算法(GA)

Abstract:在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的 WCSD 动态检测方法以更加准确地指导嵌入式硬件设计和软件开发.同时基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证.实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度.