|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
WCSD动态检测方法
点击次数：
论文类型：期刊论文
发表时间：2012-07-16
发表刊物：计算机工程与设计
收录刊物：PKU、ISTIC、CSCD
卷号：33
期号：7
页面范围：2607-2614
ISSN号：1000-7024
关键字：嵌入式软件测试;最大堆栈深度(WCSD);中断嵌套;中断状态;多层中断叠加模型
摘要：嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测量却极其困难.通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检测嵌入式软件堆栈深度上限.同时,基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性.实验结果表明,该模型和方法可测得较准确的WCSD结果,有助于在降低内存开铕,保证嵌入式系统的堆栈安全以及提高嵌入式软件的可靠性.