您的位置：
首页
>
农业专利
>
详情页
基于SPARC处理器单粒子翻转故障注入的测试方法及系统
- 专利权人:
- 北京轩宇信息技术有限公司
- 发明人:
- 李鹏宇,江云松,黄晨,朱体洲,房振军,郭华,于倩,董燕,刘露咪,郑小萌
- 申请号：
- CN201810398608.2
- 公开号：
- CN108710551A
- 申请日:
- 2018.04.28
- 申请国别(地区):
- 中国
- 年份:
- 2018
- 代理人:
- 武莹
- 摘要：
- 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
- 来源网站：
- 中国工程科技知识中心
- 来源网址：
- http://www.ckcest.cn/home/
