验证平台代码检查方法、装置、电子设备及存储介质

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
验证平台代码检查方法、装置、电子设备及存储介质
申请号:CN202511071632
申请日期:2025-07-31
公开号:CN120974998A
公开日期:2025-11-18
类型:发明专利
摘要
本申请公开了一种验证平台代码检查方法、装置、电子设备及存储介质,涉及芯片验证技术领域,包括获取待检查验证平台代码,基于待检查验证平台代码,确定目标检查规则配置文件;解析待检查验证平台代码,获得待检查验证平台代码对应的抽象语法树;基于抽象语法树,生成待检查验证平台代码中的组件的依赖关系图谱;基于目标检查规则配置文件、抽象语法树和依赖关系图谱,对待检查验证平台代码进行静态检查,获得待检查验证平台代码的错误检查报告。解决了相关技术中缺乏定制化的检查流程和检查规则,导致检查效率较低的技术问题,达到了提高检查效率的技术效果。
技术关键词
验证平台 检查规则 代码检查方法 抽象语法树 图谱 错误数量 芯片验证技术 生成待检查 关系 自定义规则 电子设备 可读存储介质 存储计算机程序 检查装置 检查器 存储模块 覆盖率 处理器