公开(公告)号：CN108710551B

公开(公告)日：2021-12-07

申请号：CN201810398608.2

申请日：2018-04-28

Applicant: 北京轩宇信息技术有限公司

Inventor： 李鹏宇 ,  江云松 ,  黄晨 ,  朱体洲 ,  房振军 ,  郭华 ,  于倩 ,  董燕 ,  刘露咪 ,  郑小萌

IPC: G06F11/22 ,  G06F11/26

Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。

公开(公告)号：CN108710551A

公开(公告)日：2018-10-26

申请号：CN201810398608.2

申请日：2018-04-28

Applicant: 北京轩宇信息技术有限公司

Inventor： 李鹏宇 ,  江云松 ,  黄晨 ,  朱体洲 ,  房振军 ,  郭华 ,  于倩 ,  董燕 ,  刘露咪 ,  郑小萌

IPC: G06F11/22 ,  G06F11/26

CPC classification number: G06F11/2236 ,  G06F11/261

Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。