一种用于分析MCS-51目标码堆栈深度的方法

在嵌入式软件中,针对目标码的堆栈分析是堆栈检查的常用手段．提出了一种用于MCS-51系列处理器目标码的堆栈深度分析方法,该方法可分析最坏情况下的堆栈深度,并考虑了不同优先级下中断服务程序对堆栈的影响．利用该方法可开发出分析MCS-51目标码的堆栈分析工具,其分析结果对堆栈安全检查和优化具有参考意义．     

应用虚拟测试技术提升航天嵌入式软件可信性

将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实目标机的环境与虚拟环境的优缺点,并总结了国内外航天企业对虚拟测试环境技术的研究和应用情况。