Document
拖动滑块完成拼图
首页 专利交易 IP管家助手 科技果 科技人才 积分商城 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
最新专利技术
  • 本发明涉及一种用于操作机动车辆(1)的方法, 其中, 机动车辆(1)包括计算机系统(2), 通过该计算机系统运行用于操作机动车辆的主应用(100)。计算机系统(2)通过虚拟化被划分为功能部分(5、6), 功能部分中的每个部分被分配给主应用(...
  • 本发明公开了一种基于层次验证框架的形式化验证方法, 首先将目标程序划分C代码和汇编代码, 先对汇编代码进行建模和验证, 然后对C代码行建模和验证, 在C代码的建模过程中, 定义每种数据结构的具体状态和抽象状态并通过精化关系建立映射, 基于抽...
  • 本申请公开了一种代码检测方法、装置、电子设备、存储介质及程序产品, 涉及数据处理技术领域, 包括:通过抽象语法树解析目标源代码并基于解析结果构建SQL构造路径图, 基于SQL路径图确定所有条件分支下生成的SQL语句;基于历史源代码从SQL语...
  • 本申请公开了一种车载系统的组件检测方法、车辆以及程序产品。其中, 该方法包括:响应针对于车载系统中目标软件的组件检测指令, 获取车载系统的系统配置文件, 并确定目标软件对应的目标组件, 其中, 目标组件为禁止目标软件调用的组件;从系统配置文...
  • 本申请实施例提供一种程序问题的静态分析方法、装置、电子设备、可读存储介质和程序产品, 涉及程序静态分析技术领域, 该方法包括:基于目标语法的规则约束集解析目标程序, 生成抽象语法树;根据抽象语法树, 构建注释控制流图;根据注释控制流图, 识...
  • 本发明属于软件缺陷预测和软件质量保障技术领域, 具体涉及一种基于对抗验证策略的跨版本软件缺陷预测方法, 通过在源版本与目标版本间引入对抗验证机制, 量化不同版本数据之间的分布差异, 并动态筛选出与目标版本分布更为接近的源版本训练样本, 从而...
  • 本申请公开了一种打点方法、设备及存储介质, 属于计算机领域。该方法包括:在终端设备运行中出现预设打点事件(发生业务故障或出现预设用户行为)的情况下, 获取预设打点事件的事件信息。在预先设置的预设打点配置信息中查找该事件信息中事件标识对应的打...
  • 本发明公开了一种服务器端Javascript开发调试的系统及方法, 涉及计算机软件技术领域, 方法包括:部署GraalVM运行环境并配置隔离沙箱, 建立双向通信通道;计算差异覆盖率, 进行脚本文件的热差异注入或重载;基于多维数据构建高阶张量...
  • 本发明公开了一种车载安全平台静态调试系统、方法、电子设备及介质, 涉及轨道车辆技术领域。该系统包括配置模块、界面动态生成模块、静态调试消息解析模块、静态调试消息分析模块、主控板卡和数据库;配置模块加载、读取并解析配置文件, 界面动态生成模块...
  • 本申请提供了一种MMI测试方法、装置及电子设备, 涉及智能终端领域, 该方法应用于包括第一测试程序和第二测试程序的电子设备, 该方法包括:在检测到第一操作时, 运行第一测试程序, 进入第一功能的自动化测试;随后运行第二测试程序, 显示包括第...
  • 本发明提供了一种基于自适应循环BERT和粒子群优化算法的测试用例生成方法, 旨在解决现有技术中生成测试用例时覆盖率低、准确性不足和难以满足复杂约束条件的问题。该方法首先将输入参数映射为特征向量, 利用BERT网络通过自注意力机制计算特征间关...
  • 本发明涉及智能设备领域, 具体提供了自适应的安卓设备驱动测试流程选择方法及系统, 具有如下步骤:S1、采集待测设备的硬件配置及驱动版本信息;S2、基于已经获取到的设备硬件部件配置动态生成测试用例库;S3、通过规则引擎匹配出适用于该设备的最优...
  • 本发明提供一种基于主从架构通信协议的产品测试方法, 该方法包括:将从机被测程序和主机测试程序搭载于待测产品;在多个待测产品上电后, 默认运行从机被测程序;选取其中至少一个待测产品为测试主机, 基于目标触发指令, 运行主机测试程序, 其余待测...
  • 本申请涉及一种终端应用测试方法、装置、计算机设备、可读存储介质和程序产品, 应用于大数据技术领域, 方法包括:获取待测试应用的应用信息和待测试终端的终端信息, 应用信息用于表征应用配置状况, 终端信息用于表征终端种类;根据应用信息从用例库中...
  • 本发明公开了一种辅助驾驶系统预期功能安全的危害场景分析方法及系统, 包括基于功能用例进行危害行为分析, 得到危害行为编号和危害行为列表;分析架构要素对应的功能不足, 根据功能不足、危害行为编号以及危害行为列表, 构建功能不足与危害行为的第一...
  • 本公开的实施例提供一种基于unicorn仿真的内核模糊测试方法及装置, 该方法包括:在unicorefuzz的harness中创建unicorn引擎, 映射所有所需的内存区域并根据目标程序的需要设置各个寄存器的初始值;将AFL生成的模糊测试...
  • 本发明公开基于蜕变测试技术的指令引导图像编辑模型的测试和输出修复方法, 包括:收集原始输入图像和编辑指令作为原始测试用例, 收集原始测试用例的输出图像, 比较输入图像和输出图像得到原始测试用例的编辑区域;根据蜕变关系对输入图像进行变换生成候...
  • 本申请公开一种基于大模型辅助车载测试用例编写方法及装置, 涉及车载测试领域, 方法包括:准备阶段和测试阶段;在准备阶段, 包括数据采集与预处理的步骤和安装部署的步骤;在测试阶段, 包括测试用例生成的步骤、测试用例调整与确认的步骤、执行与反馈...
  • 本发明公开了一种车门解闭锁功能测试方法、系统、车辆及存储介质。其中, 车门解闭锁功能测试方法包括:获取远程升级任务;根据远程升级任务, 确定车辆待升级控制器类型;根据待升级控制器类型和目标升级类型, 确定测试用例, 其中, 测试用例用于测试...
  • 本发明涉及软件测试技术领域, 尤其涉及一种将自动化脚本与用例管理工具结合的平台及其方法, 该平台包括:数据解析模块、前端呈现模块、单个用例、单个脚本、多个用例、多个脚本、用例与脚本编辑模块、脚本运行模块、报告生成模块、结果回填模块和文本用例...
技术分类