Document
拖动滑块完成拼图
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
最新专利技术
  • 本发明公开了一种电能表和终端逻辑可靠性验证方法及其系统,涉及电力技术领域,包括构建电能表或终端的软件状态机模型;生成最优验证遍历序列;将遍历序列转换为验证场景指令集;运行验证场景并采集全程状态变化与资源使用数据;判定并生成结构化检验报告。本...
  • 本发明公开了一种基于大模型驱动的软件功能深度分析方法,涉及软件工程技术领域,包括:采集目标软件的多模态数据,所述多模态数据至少包括代码库数据、需求文档数据、用户交互日志以及测试用例数据;对采集的所述多模态数据进行跨模态对齐处理,将来自不同模...
  • 本申请公开了一种基于远程过程调用的调试方法、装置、设备和存储介质,属于电力系统储能技术领域,该方法包括:主板卡的远程过程调用服务端接收远程过程调用客户端发送的服务请求;主板卡的远程过程调用服务端提取服务请求中的服务请求参数,主板卡的服务执行...
  • 本申请涉及大数据领域,公开了一种数据库的内存泄露定位方法、装置、设备和存储介质。该方法包括:在数据库存在内存泄露的情况下,对数据库关联的所有业务处理场景对应的业务处理程序进行运行监测,获取每个业务处理程序中各进程在运行过程中的起始内存数据和...
  • 本申请公开了车控功能联调方法、装置、电子设备、存储介质及车辆,涉及发声控制领域,包括:获取当前车型的联调范围,确定所述联调范围内待联调的车控功能,以及与所述车控功能对应的原子密钥;在预先确定的原子能力服务中,调用与所述原子密钥对应的车控原子...
  • 本发明涉及继电保护技术领域,提供一种继电保护装置的连接包整合打包方法和系统,方法包括:设置基础连接包,设置Module连接包,设置Documentation连接包,将基础连接包所需的文件进行打包,并将其安装到本地指定路径;然后,将Modul...
  • 本申请公开了一种思维链迭代验证驱动的软件缺陷定位方法与系统,思维链迭代验证驱动的软件缺陷定位方法包括确定第一推理代码的第一代码行集合和第一SMT形式化验证结果,基于测试用例、第一置信度得分、第一代码行集合和第一SMT形式化验证结果,确定第一...
  • 本申请公开了一种大模型能力的评测方法、系统、电子设备和存储介质,属于人工智能领域。该方法包括确定用于对大模型的多个待评测能力进行评测的多个评测数据集;基于多个评测方式,对每个评测数据集进行所述多个待评测能力的评测,得到每个评测数据集在所述多...
  • 本申请涉及一种应用测试方法、装置、计算机设备、计算机可读存储介质和计算机程序产品。涉及人工智能领域,所述方法包括:解析针对待测试的目标应用的应用测试请求,确定目标应用的测试执行目标和测试断言内容;基于测试执行目标和目标应用界面信息,通过大语...
  • 本申请涉及一种软件测试方法、装置、计算机设备、可读存储介质。所述方法包括:响应于视图构建操作,生成被测业务的有向无环图,根据有向无环图建立用于处理数据逻辑类测试任务的测试模型;根据测试模型转换得到树形结构数据,遍历树形结构数据中的路径,生成...
  • 一种电动载具的测试模拟器及电动载具的测试方法,所述电动载具的测试模拟器,包含设定一第一电动载具通讯协定数据及一第二电动载具通讯协定数据的一使用者界面以及存储一客户端主程序的一处理电路;该使用者界面传送该第一电动载具通讯协定数据至该处理电路;...
  • 本公开提供了一种针对测量应用的测量应用控制单元,其包括 : 主数据库接口,其被配置为耦合到主数据库,其中主数据库被配置为存储关于测量应用的通用知识数据;辅助数据库接口,其被配置为耦合到至少一个辅助数据库,其中至少一个辅助数据库被配置为存储关...
  • 本申请涉及工程测试技术领域,提供了一种用户工程的测试方法、工程测试系统及电子设备。该方法基于用户工程文件中的被测对象生成被测试文件和被依赖文件,被依赖文件用于提供被测试文件进行编译时所需的依赖项;对被测试文件进行编译,得到编译结果,并基于编...
  • 本发明公开了一种基于大模型的测试用例自动化生成方法及系统,该方法包括:多模态数据融合步骤,接收自然语言需求、UML设计图、API文档、历史缺陷日志和系统监控数据,使用CLIP模型对齐文本与图像特征,通过CodeBERT解析接口约束,采用跨模...
  • 本发明提供了一种大语言模型辅助的编码函数绕过的输入数据自动生成方法,包括以下步骤:对目标二进制软件的源代码进行编译后,提取编解码函数对应的汇编片段、输入数据参数和数据长度参数信息,以构建向量数据库;对目标二进制软件进行反汇编,提取目标函数片...
  • 本发明涉及人工智能、软件工程技术领域,公开了一种基于域适应流模型的小样本个体公平性测试方法。针对现有黑盒公平性测试中目标模型训练集数据难以获取、歧视样本生成效率低及敏感属性解耦不充分等问题,提出以下技术方案:首先,构建门控残差域适应流模型,...
  • 本申请提供一种工控嵌入式系统的安全测试方法及系统,方法包括:获取工业编程客户端的CFG;基于CFG生成多个目标测试用例,将目标测试用例输入工业编程客户端;基于目标测试用例和目标结果信息,生成工控嵌入式系统的STG;基于STG生成目标测试用例...
  • 本申请公开一种智能座舱自动测试方法、系统、电子设备及储存介质。涉及座舱测试领域,包括:获取测试用例以及测试参数配置方式;测试用例包括,预设测试用例以及外部场景测试用例;获取第二测试基础资源库,包括,外部场景因子和外部场景测试标签;获取预设的...
  • 本发明公开了一种基于混合整数规划的Pairwise组合测试用例生成方法,旨在解决多参数系统中测试用例冗余多、复杂业务约束表达不足及结果不稳定等问题。该方法将Pairwise测试问题建模为混合整数规划(MIP)问题,设计包括因子水平唯一选择、...
  • 本申请公开了接口协议验证方法、装置、设备和存储介质,涉及接口测试技术领域,本申请的接口协议验证方法中,首先接收包括待测试接口协议的协议特征与测试数据的标准化事务,将其转换为具有控制域和数据域的标准数据包;依据控制域的协议特征查找对应协议配置...
技术分类