-
公开(公告)号：CN109286437A
公开(公告)日：2019-01-29
申请号：CN201811249952.1
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04B10/112 , H04B10/114
Abstract: 本发明公开了一种基于光隔离器的可控光传输装置和方法，该装置包括：光发射器，用于输出调制光信号，将调制光信号通过自由介质向光隔离器方向传播；光隔离器，用于接收光发射器输出的调制光信号，并根据光阑状态控制调制光信号的传输；其中，光隔离器设置在物理层传输光路中；光接收器，用于在接收到光隔离器输出的调制光信号时，对调制光信号进行解调，得到数据信息。本发明通过在光通信传输的光路中放置可控光隔离器实现对所传输光信号的独立控制，从而提高光单向通信系统的安全性。
-
公开(公告)号：CN108710551A
公开(公告)日：2018-10-26
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F11/2236 , G06F11/261
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN120032628A
公开(公告)日：2025-05-23
申请号：CN202510017065.5
申请日：2025-01-06
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开一种多种覆盖率引导的语音智能模型测试数据生成方法及系统，包括输入待测语音智能模型和种子测试数据集；分析待测语音智能模型在不同神经网络覆盖率指标下的覆盖率；随机选择一种或多种变异策略对种子测试数据进行变异；定义强变异个数约束条件，初步过滤变异数据，使用过滤后的变异数据计算待测语音智能模型的四种神经网络覆盖率，选择相比变异前提升了待测模型覆盖率的变异数据，形成对应不同神经网络覆盖率准则的变异数据集；输出待测语音智能模型在种子测试数据集和选择的变异测试数据集上的覆盖率计算结果。提升测试数据的多样性，保证语音智能模型测试的充分性。
-
公开(公告)号：CN119782122A
公开(公告)日：2025-04-08
申请号：CN202510058351.6
申请日：2025-01-14
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/3604 , G06N5/04 , G06F40/30
Abstract: 本发明公开了一种神经符号融合的中断驱动型程序缺陷检测方法，涉及中断驱动型程序缺陷检测技术领域，包括以下步骤：步骤一，支持中断的并发分析阶段，本阶段针对待分析程序P，通过初步静态分析识别发生缺陷的程序点集合S并收集静态分析难以精确处理的信息集合Q，为后续分析奠定基础；具体包括以下三个子步骤：敏感点分析：根据待检测的缺陷类型T，利用数据流分析技术定位程序中发生缺陷的程序点集合S。该神经符号融合的中断驱动型程序缺陷检测方法，充分结合了大语言模型的语义理解能力与静态分析的全面路径覆盖能力，有效克服了传统检测方法在处理循环逻辑、数组下标分析以及位运算求解等方面的局限性。
-
公开(公告)号：CN114297962B
公开(公告)日：2024-09-20
申请号：CN202111491603.2
申请日：2021-12-08
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/33
Abstract: 本发明公开了一种自适应接口FPGA软硬件协同仿真加速系统。该系统包括：上位机和硬件板卡端，上位机包括仿真软件单元和通信单元，硬件板卡端包括主FPGA单元和从FPGA单元，仿真软件单元在运行仿真之前控制被测设计的配置流bit文件加载至从FPGA单元，并向主FPGA单元写入激励数据；通信单元负责仿真激励数据、仿真测试数据及被测设计配置数据的传输通信，根据用户测试需求选择PCIE XDMA或USB GPIF II其中一种通信方式；主FPGA单元接收被测FPGA设计仿真结果，并发送至通信单元；从FPGA单元根据激励数据对被测设计进行仿真测试，得到测试数据。本发明可以提高FPGA设计仿真验证的效率。
-
Patent Agency Ranking
公开(公告)号：CN118331857A
公开(公告)日：2024-07-12
申请号：CN202410368374.2
申请日：2024-03-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种覆盖率驱动的测试用例自动生成方法，对被测程序进行静态分析记录程序中的所有分支集合以及每个循环体对应的内部分支集合；创建初始的程序执行路径，根据路径搜索策略确定当前执行路径；对当前执行路径中pc指向的语句进行符号执行，在符号执行过程中干预循环执行，裁剪大量由循环语句衍生出的冗余路径；将路径中已覆盖的所有分支记录到全局已覆盖分支中并进行约束求解，求解结果即为该路径对应的用例并输出；在确认分支全部覆盖后结束迭代，生成测试用例集合。本发明在有限的资源下提升单元测试的覆盖率，同时提升自动生成测试用例的效率及有效性。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN112783765B
公开(公告)日：2024-02-09
申请号：CN202110043899.5
申请日：2021-01-13
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定void*或void*成员指向的实际类型以及根据实际类型生成输入驱动文件；判断实际类型是否为结构体类型且结构体类型中的结构体是否包含指向动态堆数据结构的成员；若是结构体类型且结构体类型中的结构体包含指向动态堆数据结构的成员，则设置指针或结构体展开层次，并根据展开层次生成配置文件，根据驱动文件以及配置文件自动生成测试用例。本申请解决了现有技术中生成的测试用例覆盖率较
-
公开(公告)号：CN117493152A
公开(公告)日：2024-02-02
申请号：CN202211636381.3
申请日：2022-12-19
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发明把单元测试环境抽象为平台配置包、测试场景和环境变量三个部分，使用参数化方式描述测试环境，形成一套嵌入式软件平台配置机制，基于该机制形成多种嵌入式平台配置包和一个构建系统，把环境变量、测试场景和对应的平台配置包输入到构建系统，生成对应的测试环境，该方法可用于软件动态测试工具套件，使其在无需修改工具代码的情况下适配多种测试环境。
-
公开(公告)号：CN112306579B
公开(公告)日：2023-09-01
申请号：CN202011264274.3
申请日：2020-11-12
Applicant: 北京轩宇信息技术有限公司
Abstract: 本申请公开了一种数据传输系统及方法，该系统包括：至少一个数据发送子系统、电子数据包子系统以及至少一个数据接收子系统；通过电子数据包子系统与至少一个数据发送子系统或至少一个数据接收子系统之间进行数据交互，即至少一个数据发送子系统将其数据交付给电子数据包子系统，以及电子数据包子系统将数据发送给至少一个数据接收子系统，实现至少一个数据发送子系统与所述至少一个数据接收子系统之间的数据交互与共享。本申请解决了现有技术中军工科研生产与制造过程中数据自动传输方法尚处于空白的技术问题。
-
-
-
-
-
-
-
-
-
Search Results
158
records
(took 0.043 seconds)
