基于SPARC处理器单粒子翻转故障注入的测试方法及系统
基本信息
| 申请号 | CN201810398608.2 | 申请日 | - |
| 公开（公告）号 | CN108710551B | 公开（公告）日 | 2021-12-07 |
| 申请公布号 | CN108710551B | 申请公布日 | 2021-12-07 |
| 分类号 | G06F11/22（2006.01）I;G06F11/26（2006.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 李鹏宇;江云松;黄晨;朱体洲;房振军;郭华;于倩;董燕;刘露咪;郑小萌 | 申请（专利权）人 | 北京轩宇信息技术有限公司 |
| 代理机构 | 中国航天科技专利中心 | 代理人 | 武莹 |
| 地址 | 100190北京市海淀区科学院南路2号融科资讯中心C座南楼1101-1102 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。 |
