Hits:

Indexed by:期刊论文

Date of Publication:2012-12-21

Journal:计算机工程与应用

Included Journals:ISTIC、CSCD

Volume:48

Issue:36

Page Number:58-63

ISSN No.:1002-8331

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

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