|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
基于遗传算法的嵌入式软件WCSD检测方法
点击次数：
论文类型：期刊论文
发表时间：2012-12-21
发表刊物：计算机工程与应用
收录刊物：ISTIC、CSCD
卷号：48
期号：36
页面范围：58-63
ISSN号：1002-8331
关键字：软件测试;最大堆栈深度(WCSD);状态变迁;中断调度;遗传算法(GA)
摘要：在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度(Worst-Case-Stack Depth,WCSD)的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发.基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证.实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度.