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

A Condition Breakpoint Technique of Program for Multiple Virtual Processor

作　　者：王洋 申彪 彭亮[1] 戴丽虹 武咏晗 Wang Yang;Shen Biao;Peng Liang;Dai Lihong;Wu Yonghan(Beijing Aerospace Automatic Control Institute,Beijing 100854,China)

机构地区：[1]北京航天自动控制研究所,北京100854

出　　处：《航天控制》2023年第3期69-74,共6页Aerospace Control

摘　　要：考虑到载人航天、探月工程中嵌入式软件的编译器存在差异,编译器生成的目标文件格式和嵌入式处理器的不同,基于嵌入式处理器虚拟化技术,提出一种通用的调试信息存储结构,支持不同目标文件调试信息的通用存储;提出一种条件断点控制技术和一种通用条件断点控制模型,实现了面向多种架构虚拟处理器的程序条件断点控制;完成调试器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.

关 键 词：条件断点 航天嵌入式软件 通用存储结构 虚拟处理器 调试器 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]