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

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

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

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

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

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

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

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

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

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

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

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

本发明提出一种导航卫星射频指纹特征提取及欺骗信号检测方法，包括以下步骤：(1)利用正交采样的导航信号提取跟踪阶段移除载波和伪随机码后的解扩IQ序列；(2)从解扩IQ序列中提取导航消息子帧固定前导码部分对应的前导码解扩IQ序列；(3)将多...

本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、...

本发明公开了一种1553B总线半物理仿真系统及方法，包括目标板、FPGA接口仿真设备、驱动封装模块、1553B总线仿真芯片和终端虚拟设备，所述目标板通过接口映射逻辑连接有FPGA接口仿真设备；仿真方法，包括步骤一，映射；步骤二，读写寄存...

本发明公开了一种可实现块状数据访问的循环FIFO的仿真方法，包括以下步骤：步骤一，定义数组；步骤二，定义逻辑；步骤三，设定最大字节；步骤四，起始段定义；步骤五，首尾结构定义；本发明，通过为FIFO分配一个长度加长的数组作为缓冲区，当循环...

本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发...

本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的...

本发明公开了一种星载软件控制参数自动生成与装订方法，包括以下步骤：步骤一，参变分离设计；步骤二，文档解析与控制参数提取；步骤三，控制参数二进制文件生成；步骤四，控制参数装订；所述步骤二中，文档解析与控制参数提取具体为：将控制参数文档输入...

本发明公开了一种基于构件的星载软件开发平台，包括软件开发工具、核心资产管理模块、基础构件单元、基础信息管理、复合构件单元、型号软件管理模块、型号创建单元、型号开发单元、公共应用管理模块、用户管理单元、文档生成单元和在线帮助单元，本发明通...