公开(公告)号：CN120045369A

公开(公告)日：2025-05-27

申请号：CN202510042037.9

申请日：2025-01-10

Applicant: 北京计算机技术及应用研究所

Inventor： 金政宇 ,  孔祥炳 ,  张建伟 ,  安恒 ,  张洪源 ,  付丹阳 ,  樊翔宇 ,  李明成 ,  何康馨

IPC: G06F11/07 ,  G06F11/30 ,  G06F11/3668 ,  G06F9/455

Abstract: 本发明涉及一种基于嵌入式虚拟化环境的多模式检查点设计方法，属于嵌入式系统仿真领域。本发明是一种结合检查点功能和故障注入的嵌入式系统测试方法。该方法在可运行过程中定期保存检查点，以在发生故障时快速恢复。同时，通过引入故障注入机制，嵌入式开发者可结合检查点功能和故障注入模块，在注入故障前，保存具体某个或多个模块的状态，能够模拟和测试各种异常情况，以验证系统的容错性和稳定性，并可随时根据需要恢复整个系统或具体某个模块的状态。本发明优化了检查点的存储和处理效率，降低了资源开销，确保嵌入式系统在资源受限环境中的高效运行，提升了系统的可靠性与故障恢复能力。