← 返回列表
一种验证信息的生成方法、装置、电子设备及存储介质
摘要文本
本申请公开一种验证信息的生成方法、装置、电子设备及存储介质，属于硬件测试技术领域，该方法中，获取待验证代码和验证配置文件，待验证代码用于描述待开发电路的电路信息，解析验证配置文件，得到验证配置信息，验证配置信息包括待验证代码的例化信息和用例描述信息，根据待验证代码的例化信息，生成待验证代码的实例，进而基于用例描述信息、待验证代码的实例和参考代码的实例，生成多个测试用例，参考代码用于描述具有指定功能的目标电路的电路信息，多个测试用例用于验证目标电路和待开发电路的功能等效性，这样，可自动生成电路等效性验证所需的测试用例，因此，可大幅提升验证信息的生成速度，进而提升验证效率。。数据由马 克 团 队整理
申请人信息
- 申请人:北京壁仞科技开发有限公司; 上海壁仞科技股份有限公司
- 申请人地址:100102 北京市朝阳区京东园四区13号楼-4至33层101内10层201室
- 发明人: 北京壁仞科技开发有限公司; 上海壁仞科技股份有限公司
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种验证信息的生成方法、装置、电子设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202410160054.8 |
| 申请日 | 2024/2/4 |
| 公告号 | CN117709256A |
| 公开日 | 2024/3/15 |
| IPC主分类号 | G06F30/3308 |
| 权利人 | 北京壁仞科技开发有限公司; 上海壁仞科技股份有限公司 |
| 发明人 | 请求不公布姓名; 请求不公布姓名 |
| 地址 | 北京市朝阳区望京东园四区13号楼-4至33层101内10层201室; 上海市闵行区陈行公路2388号16幢13层1302室 |
专利主权项内容
1.一种验证信息的生成方法，其特征在于，包括：获取待验证代码和验证配置文件，所述待验证代码用于描述待开发电路的电路信息，解析所述验证配置文件，得到验证配置信息，所述验证配置信息至少包括用例描述信息和所述待验证代码的例化信息；根据所述待验证代码的例化信息，生成所述待验证代码的实例；基于所述用例描述信息、所述待验证代码的实例和参考代码的实例，生成多个测试用例，所述参考代码用于描述具有指定功能的目标电路的电路信息，所述多个测试用例用于验证所述目标电路和所述待开发电路的功能等效性。