[发明专利]验证方法、验证装置、电子设备和计算机可读存储介质

权利要求书

1.一种验证方法，适用于包括验证对象以及与所述验证对象交互的多个验证模块的系统，所述验证方法包括：

获取验证配置信息，其中，所述验证配置信息包括所述验证对象的属性信息、所述多个验证模块的属性信息和所述多个验证模块之间的访问信息；

基于所述验证配置信息，将所述验证对象与所述多个验证模块通信连接、生成验证环境以及创建测试用例；

利用所述测试用例、所述多个验证模块和所述验证环境，对所述验证对象进行验证。

2.根据权利要求1所述的验证方法，其中，获取验证配置信息，包括：

解析所述验证对象以获得所述验证对象的属性信息，其中，所述验证对象的属性信息包括模块层次信息和端口信息。

3.根据权利要求2所述的验证方法，其中，解析所述验证对象，包括：

解析所述验证对象的寄存器传输级文件。

4.根据权利要求2所述的验证方法，其中，获取所述验证配置信息，还包括：

解析所述多个验证模块以获得所述多个验证模块的属性信息，其中，所述验证模块的属性信息包括带宽信息和端口连接信息。

5.根据权利要求4所述的验证方法，其中，所述端口连接信息包括所述验证模块在所述验证对象上的连接位置信息。

6.根据权利要求4所述的验证方法，其中，获取所述验证配置信息，还包括：

通过解析所述多个验证模块之间的访问关系得到所述访问信息，其中，所述访问信息包括作为访问发起方的每个验证模块对作为访问响应方的每个验证模块的访问权限、所述作为访问响应方的每个验证模块各自可被访问的地址空间和/或所述作为访问发起方的每个验证模块各自允许访问的地址空间。

7.根据权利要求5所述的验证方法，其中，基于所述验证配置信息，将所述验证对象与所述多个验证模块通信连接，包括：

根据所述多个验证模块的属性信息，实例化所述多个验证模块，并生成所述多个验证模块的配置代码；

将所述多个验证模块的实例连接至所述验证对象。

8.根据权利要求7所述的验证方法，其中，将所述多个验证模块实例连接至所述验证对象，包括：

通过将所述连接位置信息与所述验证对象的所述端口信息进行匹配，确定验证对象的与所述多个验证模块的通信连接关系；

基于所述通信连接关系，生成连接代码，以将所述多个验证模块实例连接至所述验证对象。

9.根据权利要求1至8任一项所述的验证方法，其中，创建所述测试用例，包括：

创建通路测试用例、网络拥塞测试用例和协议遍历测试用例中的至少一者。

10.根据权利要求9所述的验证方法，其中，创建所述测试用例，还包括：

根据所述多个验证模块的属性信息和所述多个验证模块之间的访问信息，生成所述通路测试用例、网络拥塞测试用例和协议遍历测试用例中的至少一者。

11.根据权利要求1至8任一项所述的验证方法，其中，生成所述验证环境，包括：

根据所述多个验证模块的属性信息，生成验证结果模块、生成所述多个验证模块与所述验证结果模块之间的连接信息以及生成验证覆盖率信息。

12.根据权利要求11所述的验证方法，其中，利用所述测试用例、所述多个验证模块和所述验证环境，对所述验证对象进行验证，包括：

激励所述多个验证模块基于所述测试用例与所述验证对象进行交互；

利用所述验证结果模块获取所述多个验证模块与所述验证对象的交互数据，并基于所述交互数据得到验证结果。

13.根据权利要求1至8任一项所述的验证方法，其中，所述验证对象包括互联模块或芯片。