论文部分内容阅读
航天型号软件的应用领域及运行环境复杂并且特殊,软件一旦出现问题会导致非常严重的后果,因此型号软件在型号的全生命周期都要具备高可靠性,高可靠性必须要通过充分检验测试,而传统的测试方法测试周期长、环境构造困难、资源消耗大、软件可靠性测试效率和效果无法保证进度和质量要求,所以研制面向航天型号软件的全数字化仿真测试环境有着重大的意义。 本文以全数字仿真为研究对象,首先详细介绍了全数字仿真的研究背景与意义;其次分析了相关的关键技术,如航天型号软件测试技术、全数字仿真技术、二进制翻译技术、目标码覆盖率测试技术等。针对解释执行速度慢这一问题,提出了基于预译码-优化分派混合优化技术,借助该技术设计并实现了面向TMS320C6415的全数字仿真原型系统;然后,在此基础上,针对航天系统对目标码测试覆盖率的要求,在全数字仿真系统上进行了目标码覆盖率研究,最后通过实验进行了验证。 本文主要的研究成果如下: (1)针对解释执行速度较低的问题,本文详细分析了几种二进制翻译技术的优缺点,并对解释执行技术及其优化技术进行了对比,提出了一种基于预译码-优化分派混合优化技术。该技术创新性地将预译码技术和线索式优化分派方法相结合,将译码阶段前移,进行一次性译码,并形成中间代码,接着采用线索式分派方法在分派阶段提高了分派速度,最终提高了解释型全数字仿真系统的执行速度。 (2)针对航天型号软件的特殊性,本文详细分析了国内外全数字仿真系统的关键技术与研究现状,提出了基于预译码-优化分派混合优化技术,借助该技术设计并实现了一个面向TMS320C6415处理器的全数字仿真原型系统。在此原型系统中,实现了对目标机(开发板)的模拟,主要工作包括CPU模拟(含指令集模拟、寄存器模拟)、流水线模拟、中断控制器以及定时器模拟等;并且针对航天系统对目标码覆盖率测试的要求,实现了基于全数字仿真的目标码覆盖率的分析与统计。 (3)针对需求设计实验进行验证,完成原型系统指令集模拟、流水线模拟等功能试验,针对解释执行优化技术进行性能验证试验,并开展目标码覆盖率测试工作。