一种面向多虚拟处理器的程序条件断点技术

A Condition Breakpoint Technique of Program for Multiple Virtual Processor

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

Compilers of aerospace embedded software which are used in manned space flight and lunar exploration project are different in variety,according to the OBJ files format and embedded CPUs.Based on embedded software virtualization technique,firstly,a general debug information storage structure which can support different OBJ files format is proposed.Secondly,a condition breakpoint technique and a general breakpoint control model which can meet the need of different virtual processor architecture are proposed.A debugger DIP named is developed and the functional test is finished.The techniques which are proposed in this paper have been used in manned space flight and lunar exploration project,and many aerospace embedded software bugs are detected.