面向单粒子效应的航天嵌入式软件软防护技术研究

单粒子效应是影响航天器可靠性和在轨寿命的重要因素。单粒子效应引发的可恢复性错误称为软错误,会导致软件运行出错。本文针对单粒子效应引发的软错误,对航天嵌入式软件中采用的软防护技术,按照控制流防护和数据流防护进行了分类分析和总结。     

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

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

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

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

汇编语言自动单元测试工具设计方法研究

单元测试是发现软件缺陷的重要测试手段。目前可用的单元测试工具也有许多，但大多是针对高级程序设计语言的测试工具。针对汇编语言的单元测试工具却很少。而对于嵌入式应用还不可避免地大量使用汇编语言，因此汇编语言的单元测试工具是不可缺少的。本文介绍了汇编语言的自动单元测试工具的一般设计方法，希望对于汇编语言的单元测试工具开发有所帮助。