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

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

公开(公告)号：CN111176991A

公开(公告)日：2020-05-19

申请号：CN201911341042.0

申请日：2019-12-23

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

Inventor： 虞砺琨 ,  于倩 ,  左万娟 ,  董燕 ,  陈华南 ,  郭华 ,  王小丽 ,  黄晨 ,  郑小萌

IPC: G06F11/36

Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。

公开(公告)号：CN111176991B

公开(公告)日：2023-07-14

申请号：CN201911341042.0

申请日：2019-12-23

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

Inventor： 虞砺琨 ,  于倩 ,  左万娟 ,  董燕 ,  陈华南 ,  郭华 ,  王小丽 ,  黄晨 ,  郑小萌

IPC: G06F11/36

Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。