Document
拖动滑块完成拼图
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
最新专利技术
  • 本申请公开了一种核电厂仪控控制软件的自动化测试方法及相关设备。本申请的方法,利用同步数据流语言代码生成器,生成核电厂仪控控制软件的控制逻辑对应的C语言代码;根据所述C语言代码中输入参数与输出参数,对所述C语言代码进行封装处理;基于所述目标C...
  • 本发明公开了一种面向C/C++并发程序库的测试用例生成方法,涉及软件测试与程序分析技术领域。该方法包括:对程序库进行静态分析,识别线程对共享资源的读写与加锁操作以提取并发关键点;基于函数指针分析构建函数调用图;结合关键点与调用关系推断可能的...
  • 本申请提供了一种自动化测试方法、装置、电子设备及存储介质,属于计算机技术领域。所述方法包括:获取测试请求,对测试请求进行语义解析生成测试用例,测试请求中携带设备的设备标识;根据测试用例和设备标识,生成测试指令;执行测试指令对设备进行测试,生...
  • 本申请公开了一种基于存款业务场景的快速造数方法、设备及存储介质,涉及数据处理技术领域,公开了基于存款业务场景的快速造数方法,包括:接收测试用例和配置信息;根据所述配置信息,判断是否满足造数触发条件;若满足所述造数触发条件,则解析所述测试用例...
  • 本发明提供了命令行参数自适应定向模糊测试方法、装置、设备及介质,涉及软件安全性测试技术领域,该方法针对现有定向灰盒模糊测试工具在复杂软件中因命令行参数依赖人工静态配置而导致的目标不可达、覆盖效率低、扩展性差的问题,首次将大语言模型与检索增强...
  • 本发明提出一种单板、调试方法、存储介质和电子设备,单板包括:CPU和控制模块;CPU上的接口A与控制模块上的接口B连接,CPU还连接上位机;CPU在接收到上位机输出的调试标识指令后,通过接口A向控制模块输出调试通道切换指令;控制模块在接收到...
  • 本发明公开了一种混合应用的页面调试方法、装置、电子设备及存储介质,其中,该方法包括:获取与目标应用相对应的调试参数配置文件,根据所述参数配置文件对调试实例进行初始化;基于所述调试实例采集与所述目标应用相对应的调试数据,并对所述调试数据进行解...
  • 本申请公开基于软件控制的逆仿真方法、系统、装置及存储介质,涉及芯片仿真领域,接收仿真软件的仿真指令,将仿真程序发送至仿真器,并烧录到仿真芯片;接收正向仿真指令,根据目标仿真操作记录每一次单步仿真操作时仿真芯片生成的状态参数,并将状态参数写入...
  • 本发明涉及车机功能研发技术领域,特别涉及一种车载娱乐系统功能远程调试方法、装置、电子设备及介质,其中,方法包括:确定当前远程调试需求,根据当前远程调试需求确定待调试项,并根据待调试项生成资源下载指令,且发送资源下载指令至目标调试设备,使得目...
  • 本申请公开了一种追踪译码装置、方法及设备,属于计算机技术领域。装置包括:输入模块,用于获取程序流中的运行地址,运行地址是外部依赖被加载时所分配的地址,外部依赖由至少一个动态链接库提供,至少一个动态链接库中记录有外部依赖的源地址;处理模块,用...
  • 本公开提供了一种游戏调试方法、游戏调试装置、程序产品与电子设备,涉及游戏技术领域。该方法包括:响应于第一编辑指令,在第一编程图形中添加断点标识;其中,编程图形是用于实现游戏逻辑的代码对应的可视化对象,所述第一编程图形是与第一游戏地图关联的编...
  • 本发明提供了一种基于大语言模型的自动化跨项目漏洞验证方法、装置,涉及漏洞验证技术领域,旨在解决现有技术难以在源项目与目标项目参数语义及输入格式存在显著差异的场景下,高效确认上游漏洞是否仍可被触发的难题。该方法通过构建多智能体并行的目标感知参...
  • 本发明提供一种平台屏蔽封禁行为智能识别方法,涉及数据处理技术,基于识别插件控制多个访问端对各检测平台进行搜索词检索,得到各检测平台的检索界面,对所述检索界面进行关联性识别,得到推荐限制系数;根据所述搜索词对各检索界面中相同的交互文本进行触发...
  • 本发明公开了一种基于多维度的软件开发评估方法及装置、电子设备,涉及软件开发评估技术领域或其他相关技术领域,其中,该方法包括:获取预先定义的软件开发度量维度和度量指标,并在可信环境下采集软件开发数据;根据预定义计算规则,计算软件开发数据中关联...
  • 本申请涉及前端技术领域,可应用于科技金融/数字医疗领域,公开了一种前端页面跳转预校验方法、装置、电子设备及存储介质。该方法包括:通过全局路由拦截机制对页面跳转请求进行拦截,根据路由配置加载路由规则配置文件;使用跳转链接参数和跳转请求关联历史...
  • 本发明涉及基础架构运维技术领域,可应用于金融科技及医疗健康等业务场景中,公开了一种基于知识库辅助的代码审查方法、装置、设备及介质,包括:提取项目预设组件的使用规范,构建组件知识库;基于领域专有名词与代码实体命名规范,构建领域知识库;基于代码...
  • 本申请公开了一种代码问题识别方法、装置、设备、存储介质及产品,涉及软件工程技术领域,包括:构建待识别代码的语法分析树;从所述语法分析树中提取出类详细信息,并根据所述类详细信息构建调用关系图谱;基于多模态图神经网络,对所述调用关系图谱进行分析...
  • 本发明公开一种步骤级验证器引导的混合测试时扩展方法,步骤为:向大语言模型LLM输入问题文本,设置搜索路径数、Best‑of‑N采样数、自我完善迭代次数,以过程奖励模型PRM作为步骤级验证器;在蒙特卡洛树中由LLM根据问题和已生成推理步骤生成...
  • 一种面向多核处理器系统的形式化验证系统,包括状态提取模块、验证属性提取模块、功能模型构建模块、形式化验证模块。本发明通过反例精准定位系统的错误出现点来帮助验证人员排除电路中的非理想部分,模型检测因其具有自动化程度高、能够生成反例、支持全状态...
  • 本发明涉及软件安全技术等领域,公开了一种基于源代码注释和程序依赖图的函数级漏洞检测方法,旨在通过融合代码注释和代码语句特征,使用程序依赖图作为代码表征方式,使用图卷积神经网络学习代码的结构信息以及语法语义信息,有效的提高了漏洞检测率,同时此...
技术分类