【视频】基于SkyEye仿真的故障注入

故障注入是一种可靠性验证技术，通过受控实验向系统中刻意引入故障，并观察系统中存在故障时的行为。故障注入技术一般分为：基于硬件的故障注入、基于软件的故障注入以及基于仿真的故障注入。

SkyEye 界面提供了基于仿真的故障注入功能。通过改变内存地址或设备寄存器中某一位或几位的值从而注入故障。选中所要注入故障的内存设备或寄存器，随即右侧界面显示此设备或寄存器的地址范围和当前各位值，点击位值进行注入操作，如置0、置1；也可以直接输入要注入的故障值。完成后点击注入故障，此时故障注入完成且故障列表中增加一条注入信息，这里是对内存地址是0x80000000的第0位进行置1操作。对寄存器注入和对内存设备注入操作步骤完全一致，本视频对DSP C6416型号的仿真系统进行故障注入，对串口的控制寄存器的第0位和第1位分别注入故障，可以在串口中看到明显的故障反馈。

SkyEye的故障注入工具是基于符号执行技术和仿真平台技术的自动化故障注入工具。基于该工具，可以灵活地对任意硬件注入任意故障；同时还能够基于符号执行技术，将硬件符号化，准确注入能够影响行为的故障。基于仿真的故障注入，可以在不修改硬件的前提下反复测试，无需担心硬件损毁，测试更加灵活方便。