公开(公告)号：CN111176991B

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

申请号：CN201911341042.0

申请日：2019-12-23

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

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

IPC: G06F11/36

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

公开(公告)号：CN112015639A

公开(公告)日：2020-12-01

申请号：CN202010762816.3

申请日：2020-07-31

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

Inventor： 黄晨 ,  江云松 ,  于倩 ,  左万娟 ,  冯涛 ,  陈华南 ,  房振军 ,  王松松 ,  徐逸群 ,  魏鹏 ,  虞砺琨 ,  郭华 ,  王小丽

IPC: G06F11/36

Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。

公开(公告)号：CN108121658B

公开(公告)日：2020-11-20

申请号：CN201711228114.1

申请日：2017-11-29

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

Inventor： 侯成杰 ,  江云松 ,  高猛 ,  滕俊元 ,  李鹏宇 ,  郑小萌 ,  左万娟 ,  于倩 ,  虞砺琨

IPC: G06F11/36

Abstract: 本发明公开了一种基于WINDOWS端测试工具测试LINUX端被测软件的方法，先在LINUX端配置文件共享单元和远程访问单元，然后在LINUX端修改配置文件使得WINDOWS端的计算机可以运行LINUX端计算机上的指令，在WINDOWS端通过资源管理器映射网络磁盘，使WINDOWS端测试工具可以通过硬盘符访问LINUX端的被测软件和测试结果文件，本发明方法具有配置简单、不影响测试基本流程的特点。

公开(公告)号：CN109474582A

公开(公告)日：2019-03-15

申请号：CN201811249953.6

申请日：2018-10-25

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

Inventor： 吴瑾 ,  江云松 ,  陈睿 ,  贾春鹏 ,  魏鹏 ,  王永杰 ,  房振军 ,  高栋栋 ,  于倩 ,  黄晨 ,  王小丽 ,  杨建磊

IPC: H04L29/06

Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。

公开(公告)号：CN108121658A

公开(公告)日：2018-06-05

申请号：CN201711228114.1

申请日：2017-11-29

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

Inventor： 侯成杰 ,  江云松 ,  高猛 ,  滕俊元 ,  李鹏宇 ,  郑小萌 ,  左万娟 ,  于倩 ,  虞砺琨

IPC: G06F11/36

Abstract: 本发明公开了一种基于WINDOWS端测试工具测试LINUX端被测软件的方法，先在LINUX端配置文件共享单元和远程访问单元，然后在LINUX端修改配置文件使得WINDOWS端的计算机可以运行LINUX端计算机上的指令，在WINDOWS端通过资源管理器映射网络磁盘，使WINDOWS端测试工具可以通过硬盘符访问LINUX端的被测软件和测试结果文件，本发明方法具有配置简单、不影响测试基本流程的特点。

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