▲目标码覆盖率测试工具

该产品是基于仿真技术进行目标码测试的工具。通过在搭建的虚拟目标系统上运行用户的可执行程序，生成执行结果，计算代码覆盖率，展示语句覆盖率、分支覆盖率、函数覆盖率等信息（支持以HTML及Excel形式导出覆盖率报告）。该工具支持DO-178B中A级软件目标码测试覆盖性的相关要求，同时支持各种平台的嵌入式软件的目标码覆盖率测试，如ARM、PowerPC、DSP、MIPS、SPARC等。

▲基于仿真的模糊测试方案

该方案是基于仿真的模糊测试方法。基于仿真技术，被测软件可以不加修改地运行在SkyEye上，结合常用的Fuzz工具，用户既可通过硬件故障注入功能来查找、分析硬件驱动上的安全漏洞，也可结合模糊技术来查找、分析软件层安全漏洞。SkyEye仿真平台可以与主流的模糊测试前端工具适配集成。

以AFL为例，SkyEye可以运行AFL的初始测试用例，AFL基于前一个用例的覆盖率测试结果生成随机样本测试用例的数据集合进行注入，以此挖掘软件的安全漏洞并生成安全测试报告。相比于真实硬件上的软件安全测试分析，该方案的优势在于目标机程序的可观测性强，覆盖率统计功能的实现更为简单可信；且不受硬件数量的限制，可在云端部署并构建无限多个虚拟控制器，实现大规模测试用例的并行运行。