公开(公告)号：CN111221532A

公开(公告)日：2020-06-02

申请号：CN201911339885.7

申请日：2019-12-23

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

Inventor： 吴瑾 ,  江云松 ,  陈睿 ,  高猛 ,  郑小萌 ,  陈龙博 ,  高栋栋 ,  房振军 ,  于倩 ,  杨建磊 ,  王政

IPC: G06F8/41 ,  H04L29/06

Abstract: 本发明实施例提供了一种动态链接库的生成方法及装置。所述方法包括：根据仿真嵌入式项目中的协议，获取协议配置信息；基于所述协议配置信息，生成协议代码；对所述协议代码进行编译，生成用于进行数据通信协议处理的动态链接库。本发明实施例可以将共通性较好的数据存储功能、数据生成功能、数据模型对接功能、第三方软件数据支持功能封装成通用的动态库；将功能独立、处理复杂、影响虚拟系统运行效率的数据功能也封装成独立的通用动态库并启用独立线程进行逻辑处理。

公开(公告)号：CN111124723A

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

申请号：CN201911067304.9

申请日：2019-11-04

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

Inventor： 高猛 ,  滕俊元 ,  郑小萌 ,  郭华 ,  孙民 ,  高栋栋 ,  侯清锋 ,  江云松 ,  冯涛 ,  周益

IPC: G06F11/07

Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。

公开(公告)号：CN109783954A

公开(公告)日：2019-05-21

申请号：CN201910060694.0

申请日：2019-01-23

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

Inventor： 孙宇明 ,  江云松 ,  高猛 ,  于志杰 ,  田甜 ,  童宗挺 ,  朱倩 ,  赵欢 ,  赵鹏 ,  李铀 ,  尤静 ,  姚春月

IPC: G06F17/50

Abstract: 本发明提供了一种IES联合FPGA硬件仿真加速系统，该系统包括IES仿真模块、软硬件通信模块和FPGA硬件加速模块。IES仿真模块，按照预设的仿真时钟频率，循环提取预设时间段内被测FPGA设计的并行激励数据，将其发送到FPGA硬件加速模块；从FPGA硬件加速模块中循环提取被测FPGA设计的测试数据，按照相应的时序转换为被测FPGA设计仿真结果并显示；FPGA硬件加速模块，接收并行激励数据并存储至输入缓冲区中；产生测试激励时钟和被测FPGA设计各时钟域工作时钟，驱动输入缓冲区输出并行激励数据至被测FPGA设计；在并行激励数据的作用下，被测FPGA设计输出测试数据至输出缓冲区中。本发明降低了仿真环境的运行负担，提高了FPGA仿真的速度。

公开(公告)号：CN109491922A

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

申请号：CN201811522286.4

申请日：2018-12-13

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

Inventor： 高栋栋 ,  陈睿 ,  江云松 ,  高猛 ,  郑小萌 ,  吴瑾 ,  王政 ,  秦元 ,  杨帆 ,  房振军

IPC: G06F11/36

Abstract: 本发明公开了一种基于模型驱动的测试方法和装置，该方法包括：确定各可测试项；为各所述可测试项定义测试组成；依据所述测试组成以及预设的接口模型、测试模型与被测系统三者之间的关系，生成测试模型；将所述测试模型与测试脚本进行关联，生成测试用例；调用所述测试用例对待测试数据进行测试，生成测试报告。本发明通过维护测试模型来间接管理测试用例，测试需求的变更会影响测试模型的更新，测试模型的更新会自动生成新的测试用例，因此，测试模型的可复用性高，测试用例的可维护性强。

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

公开(公告)号：CN306314844S

公开(公告)日：2021-02-05

申请号：CN202030387373.5

申请日：2020-07-16

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

Designer： 江云松 ,  张榕冰 ,  柴源 ,  冀会芳 ,  马志超 ,  李辉辉 ,  许烜熔

Abstract: 1.本外观设计产品的名称：带图形交互界面的电脑。
2.本外观设计产品的用途：用于显示全过程质量信息管理信息。
3.本外观设计产品的设计要点：在于形状。
4.最能表明设计要点的图片或照片：主视图。
5.图形用户界面的用途：用于显示全过程质量信息管理信息。
6.图形用户界面的变化状态说明：1、主视图：显示的是电脑版本全过程质量信息管理系统的整体界面，界面从左到右、从上到下分为标题栏、菜单栏、统计区域、信息栏以及功能区域；标题栏显示系统名称与登陆用户信息；菜单栏显示系统功能信息；统计区域显示系统质量统计信息；信息栏显示公告通知、待办事项信息；2、变化状态图1：点击主视图菜单栏中的“质量问题跟踪”选项，除菜单栏外右侧界面显示质量问题信息跟踪单据界面；3、变化状态图2：点击变化状态图1的任一“表单编号”链接，以弹窗方式为用户提供质量问题跟踪反馈单据的界面；4、变化状态图3：点击主视图标题栏中的“房子”图标，可以实现菜单栏的切换，从系统功能切换至“产品型谱树”，同时右侧界面信息显示质量统计信息、常用表单信息以及信息列表界面；点击常用表单中的“不合格审理”矩形，下方信息列表则显示对应的“不合格审理”表单信息；5、变化状态图4：点击变化状态图3右侧区域中信息列表中的任一“表单编号”链接，以弹窗方式为用户提供不合格审理单据的界面。