本发明公开了一种基于大模型的软件测试方法及系统，涉及软件测试技术领域，包括以下步骤：步骤1：代码审查规则描述，对所需检查的规范进行展开：首先，将代码所需满足的检查规范进行列表，按照思维链，zero‑/few‑shot示例，上下文学习一种...

本发明公开了一种继电器控制浪涌电流抑制及触点保护电路，包括主干路继电器驱动模块、旁路继电器上电延时驱动模块、启动瞬间浪涌保护模块、交流负载和控制器，所述控制器的输出端电性连接有主干路继电器驱动模块和旁路继电器上电延时驱动模块；本发明通过...

本发明公开一种多阶段多层次代码特征高效匹配方法：输入文件特征信息和文件代码片段特征信息的待匹配标准代码文件；当待匹配代码文件的文件后缀名及特征值与代码特征信息知识库中的相同，取知识库中的该匹配文件作为文件级匹配结果，否则对待匹配代码文件...

本发明公开一种适用于不同编程语言的高效代码特征提取方法，包括：从指定的项目路径中加载不同编程语言配置文件，通过预定义的语言解析规则映射器解析语言配置文件，生成适用于不同编程语言的语言规则映射表；识别编程语言类型，按类型创建多任务队列并分...

本发明公开了一种干扰检测FPGA的验证方法，涉及干扰检测处理技术领域，步骤如下：单音干扰：步骤1：单音干扰1~单音干扰N模块：SystemVerilog语言通过设置不同频率控制字，使用DDS生成不同频率的正弦波信号，根据FPGA可接收的...

本发明公开一种SRAM阵列低功耗控制方法，属于SOC（System on Chip）片上存储技术领域。根据场景需要决定SRAM阵列中哪些组被使用；同时对每组SRAM配置一个Ret模式监测模块进行监测控制；对使用中的每组SRAM，若Ret...

本发明提供了一种中断驱动型程序多变量原子性违反检测方法，包括：以真实航天嵌入式软件为数据库，筛选配有详细文档和带有注释源代码的软件，作为关联变量对识别模型的训练数据集；以共享变量对为对象，通过静态分析对训练数据集中的软件中的共享变量对进...

本技术涉及BOM储存装置技术领域，公开了一种便于移动的通用BOM数据底座，包括主体机构、存放机构和照明机构，主体机构为整个装置的外部结构，容纳存放机构和照明机构，并提供移动的功能；存放机构位于主体机构的内部，用于存取BOM数据，避免BO...

一种覆盖率驱动的测试用例自动生成方法，对被测程序进行静态分析记录程序中的所有分支集合以及每个循环体对应的内部分支集合；创建初始的程序执行路径，根据路径搜索策略确定当前执行路径；对当前执行路径中pc指向的语句进行符号执行，在符号执行过程中...

本发明公开了一种多进制码移键控扩频加MSK收发信机FPGA的验证方法，涉及FPGA验证测试技术领域，包括多进制码移键控扩频加MSK收发信机FPGA的验证方法包括下述内容：S1、发射机模块设计；S2、双验证；S3、DSP模块设计。该多进制...

一种可扩展的中断驱动程序缺陷检测方法，包括：(1)建立多个堆栈并行构建模块化程序依赖图，同时获得中断的摘要信息；(2)对程序源代码进行静态分析，依据缺陷类型识别能发生缺陷的位置和能够存在并发缺陷的代码区域和触发条件，形成缺陷区域集合；(...

一种用于硬件描述语言代码解析的预处理方法，包括：针对RTL源代码解析后的语法树结构，分析各模块例化的特征信息获取树型数据结构A；访问树型数据结构A层次结构对应的RTL文件解析后的语法树结构，输出参数和赋值表达式结果的树型数据结构B；利用...

一种中文自然语言处理模型的对抗文本生成方法，针对给定的预训练的智能模型，对输入的合法文档加入扰动生成对抗性文档，生成的对抗性文档在保持与原始合法文档高度相似的同时，误导智能模型，使其做出错误的决策或分类；包括以下步骤：1、基于编码器‑解...

本发明公开了一种非线性调频信号旁瓣抑制效果的验证方法，包括以下步骤：步骤一，构建验证系统；步骤二，信号采集与装载；步骤三，去直流分量与合路处理；步骤四，傅里叶变换与域滤波处理；步骤五，频域乘积与傅里叶逆变换处理；步骤六，归一化与可视化处...

一种基于修订模式识别软件工程数据条目化变更的系统，所述方法包括：线上文档下载，开启修订模式，设置为无标记的修订模式；线下文档编辑；文档上传，根据修订模式获取线下文档编辑内容；自动识别文档版本间变更内容，变更内容条目化处理；文档变更条目化...

一种智能软件一体化测试方法，涉及一种安全攸关智能软件的评测技术，覆盖了智能软件的数据集、学习程序以及智能模型等软件制品，评测的内容包括训练数据集的质量、学习程序的质量、算法的正确性、算法鲁棒性、模型不确定性以及测试充分性，最后可以对智能...

本发明公开了一种基于关键神经元识别的神经通路覆盖率分析系统，包括数据输入模块、关键神经元识别模块、神经元激活状态分析模块、覆盖率计算模块和结果可视化模块，所述数据输入模块分别控制连接关键神经元识别模块和神经元激活状态分析模块，它通过识别...

本发明公开了一种基于深度神经网络软件的可配置获取覆盖率方法及装置，方法包括步骤一，配置模型参数；步骤二，配置数据集参数；步骤三，配置覆盖率准则和参数；步骤四，执行深度神经网络测试；步骤五，提取覆盖率信息文件；装置包括配置模型参数模块、配...

本发明公开了基于深度神经网路软件的自适应覆盖率方法及装置，方法包括：步骤一：解析导入深度学习框架导入库，根据规则自适应选择深度学习框架模板；步骤二：根据框架模板解析加载测试数据集和深度学习模型后，插桩神经元输出列表、神经元覆盖列表、激活...

本发明公开了一种面向多角色使用的星载软件开发平台，包括开发服务器，所述开发服务器上设置有设计人员模块、质量管理人员模块和系统管理人员模块，且设计人员模块与质量管理人员模块建立数据连接，设计人员模块与系统管理人员模块建立数据连接，所述设计...