公开(公告)号：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处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。

公开(公告)号：CN117785687A

公开(公告)日：2024-03-29

申请号：CN202311788711.5

申请日：2023-12-25

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

Inventor： 于倩 ,  黄晨 ,  陈睿 ,  陈华南 ,  高栋栋 ,  李鹏宇 ,  朱体洲 ,  江云松 ,  董燕 ,  郝伟

IPC: G06F11/36 ,  G06F11/34

Abstract: 本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、对抗样本生成工具和可视化分析工具；所述步骤2.1中，测试对象包括文档、程序代码和智能系统；所述步骤三中，测试对象为在轨应用运行后软件系统；本发明将航天智能装备软件测试划分为模型验证、系统部署和在轨应用三个阶段，并明确了各阶段的执行顺序，建立了三个阶段的测试框架，保证了各阶段测试活动过程明确、清晰、可落地，进而保证对智能模型及软件系统测试活动的有效性和充分性。

公开(公告)号：CN108710551B

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

申请号：CN201810398608.2

申请日：2018-04-28

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

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

IPC: G06F11/22 ,  G06F11/26

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