Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2012-12-21

Journal: 计算机工程与应用

Included Journals: CSCD、ISTIC

Volume: 48

Issue: 36

Page Number: 58-63

ISSN: 1002-8331

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

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