-
公开(公告)号：CN112269648A
公开(公告)日：2021-01-26
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
公开(公告)号：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。该神经符号融合的中断驱动型程序缺陷检测方法，充分结合了大语言模型的语义理解能力与静态分析的全面路径覆盖能力，有效克服了传统检测方法在处理循环逻辑、数组下标分析以及位运算求解等方面的局限性。
-
公开(公告)号：CN118331857A
公开(公告)日：2024-07-12
申请号：CN202410368374.2
申请日：2024-03-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种覆盖率驱动的测试用例自动生成方法，对被测程序进行静态分析记录程序中的所有分支集合以及每个循环体对应的内部分支集合；创建初始的程序执行路径，根据路径搜索策略确定当前执行路径；对当前执行路径中pc指向的语句进行符号执行，在符号执行过程中干预循环执行，裁剪大量由循环语句衍生出的冗余路径；将路径中已覆盖的所有分支记录到全局已覆盖分支中并进行约束求解，求解结果即为该路径对应的用例并输出；在确认分支全部覆盖后结束迭代，生成测试用例集合。本发明在有限的资源下提升单元测试的覆盖率，同时提升自动生成测试用例的效率及有效性。
-
公开(公告)号：CN112783765B
公开(公告)日：2024-02-09
申请号：CN202110043899.5
申请日：2021-01-13
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定void*或void*成员指向的实际类型以及根据实际类型生成输入驱动文件；判断实际类型是否为结构体类型且结构体类型中的结构体是否包含指向动态堆数据结构的成员；若是结构体类型且结构体类型中的结构体包含指向动态堆数据结构的成员，则设置指针或结构体展开层次，并根据展开层次生成配置文件，根据驱动文件以及配置文件自动生成测试用例。本申请解决了现有技术中生成的测试用例覆盖率较
-
Patent Agency Ranking
公开(公告)号：CN117493152A
公开(公告)日：2024-02-02
申请号：CN202211636381.3
申请日：2022-12-19
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发明把单元测试环境抽象为平台配置包、测试场景和环境变量三个部分，使用参数化方式描述测试环境，形成一套嵌入式软件平台配置机制，基于该机制形成多种嵌入式平台配置包和一个构建系统，把环境变量、测试场景和对应的平台配置包输入到构建系统，生成对应的测试环境，该方法可用于软件动态测试工具套件，使其在无需修改工具代码的情况下适配多种测试环境。
-
公开(公告)号：CN116450501A
公开(公告)日：2023-07-18
申请号：CN202310294779.1
申请日：2023-03-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种提升静态分析精度的符号分析方法，包括以下步骤：步骤一，生成抽象语法树和控制流图；步骤二，生成调用图；步骤三，执行指针分析；步骤四，全局值编号；步骤五，计算CFG支配关系、支配边界以及控制依赖图；步骤六，静态单赋值形式构造；步骤七，显式暴露函数副作用；步骤八，构造带条件数据依赖图；步骤九，符号分析；步骤十，约束求解；本发明利用指针分析划分所有的内存区域，使得它能够处理所有的语言特性，提高了适用范围；本发明基于静态单赋值，以及通过构造带条件数据依赖图和控制依赖图，可以简洁地以遍历图的方式完成符号分析，并且通过调用SMT求解器求解以得到精确的解。
-
公开(公告)号：CN109474582B
公开(公告)日：2021-10-01
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN112783765A
公开(公告)日：2021-05-11
申请号：CN202110043899.5
申请日：2021-01-13
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种适用于指针的单元测试用例生成方法及装置，该方法包括：对预设被测程序进行静态分析确定输入元素中的成员类型，根据成员类型判断输入元素是否为void*或含void*成员的结构体；若是void*或含void*成员的结构体，则确定void*或void*成员指向的实际类型以及根据实际类型生成输入驱动文件；判断实际类型是否为结构体类型且结构体类型中的结构体是否包含指向动态堆数据结构的成员；若是结构体类型且结构体类型中的结构体包含指向动态堆数据结构的成员，则设置指针或结构体展开层次，并根据展开层次生成配置文件，根据驱动文件以及配置文件自动生成测试用例。本申请解决了现有技术中生成的测试用例覆盖率较低、执行崩溃或内存开销过大的技术问题。
-
公开(公告)号：CN112363729A
公开(公告)日：2021-02-12
申请号：CN202011322690.4
申请日：2020-11-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种用于静态分析的多编译混合编译的监控方法及装置。所述方法包括：获取待分析程序对应的程序编译日志；根据所述程序编译日志，识别得到编译命令；根据所述编译命令，设计通用的配置文件模型，并将所述程序编译日志映射至所述配置文件模型，得到转换的编译参数；根据编译器类型提取所述待分析程序对应的编译信息。本发明实施例可以实现对多编译器混合编译的项目进行可配置的编译监控。
-
-
-
-
-
-
-
-
-
Search Results
62
records
(took 0.037 seconds)
