国家自然科学基金(91018003)
- 作品数：4 被引量：3H指数：1
- 相关作者：崔凯周宽久王洁李显杰侯刚更多>>
- 相关机构：大连理工大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于遗传算法的嵌入式软件中断过载动态检测被引量：2
- 2011年
- 嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。
- 王洁崔凯周宽久李显杰
- 关键词：堆栈溢出遗传算法
- WCSD动态检测方法
- 2012年
- 嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测量却极其困难。通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检测嵌入式软件堆栈深度上限。同时,基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性。实验结果表明,该模型和方法可测得较准确的WCSD结果,有助于在降低内存开销,保证嵌入式系统的堆栈安全以及提高嵌入式软件的可靠性。
- 李显杰周宽久王洁崔凯苏翰
- 关键词：嵌入式软件测试
- 基于控制流切片的代码安全缺陷检测方法
- 2012年
- 为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据流异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据流的不足,增强代码安全隐患的挖掘能力。利用控制流图化简,排除部分不可达控制流信息,提高跟踪效率。通过对3个Linux内核源文件的检测,验证了该方法不仅可以检测出违反安全子集的代码安全隐患,同时对代码数据流异常检测提供支持,准确率达94.9%。
- 周宽久杨广赖晓晨崔凯姚艳双
- 关键词：控制流分析数据流分析
- 基于遗传算法的嵌入式软件WCSD检测方法被引量：1
- 2012年
- 在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度(Worst-Case-StackDepth,WCSD)的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发。基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证。实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度。
- 李显杰周宽久王洁侯刚崔凯
- 关键词：软件测试
