计算机工程与应用2012，Vol.48Issue(36)：58-63,6.DOI:10.3778/j.issn.1002-8331.1112-0559
基于遗传算法的嵌入式软件WCSD检测方法
Genetic algorithm-based approach to embedded software WCSD test
摘要
Abstract
To lessen the measurement error of software's Worst-Case-Stack Depth (WCSD) and determine the system's memory requirement in resource-constrained embedded systems, an interrupt schedule model is constructed and a dynamic approach of embedded software WCSD test based on Genetic Algorithm (GA) is proposed to guide hardware design and software development efficiently. In addition, an experiment is conducted on an embedded software digital simulation platform; its results show that the model and approach can give a more accurate WCSD value, and can be conducive to reduce the total memory cost and improve reliability of the embedded software.关键词
软件测试/最大堆栈深度(WCSD)/状态变迁/中断调度/遗传算法(GA)Key words
software test/ Worst-Case-Stack Depth (WCSD)/ State Transition Matrix (STM)/ interrupt schedule/Genetic Algorithm (GA)分类
信息技术与安全科学引用本文复制引用
李显杰,周宽久,王洁,侯刚,崔凯..基于遗传算法的嵌入式软件WCSD检测方法[J].计算机工程与应用,2012,48(36):58-63,6.基金项目
国家自然科学基金(No.91018003) （No.91018003）
中央高校基本科研业务费专项资金(No.1600-852007). （No.1600-852007）
