摘要
考虑到载人航天、探月工程中嵌入式软件的编译器存在差异,编译器生成的目标文件格式和嵌入式处理器的不同,基于嵌入式处理器虚拟化技术,提出一种通用的调试信息存储结构,支持不同目标文件调试信息的通用存储;提出一种条件断点控制技术和一种通用条件断点控制模型,实现了面向多种架构虚拟处理器的程序条件断点控制;完成调试器DIP开发和功能测试。将以上技术应用于载人航天、探月工程中多个安全关键嵌入式软件测试,发现了嵌入式软件中的深层软件问题。
-
单位北京航天自动控制研究所