[發(fā)明專(zhuān)利]驗(yàn)證方法、驗(yàn)證裝置、電子設(shè)備和計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)

在審

• 申請(qǐng)?zhí)枺?/td>: 202210644220.2
• 申請(qǐng)日: 2022-06-08
• 公開(kāi)（公告）號(hào): CN115017864A
• 公開(kāi)（公告）日: 2022-09-06
• 發(fā)明（設(shè)計(jì)）人: 不公告發(fā)明人
• 申請(qǐng)（專(zhuān)利權(quán)）人: 上海壁仞智能科技有限公司
• 主分類(lèi)號(hào): G06F30/398
• 分類(lèi)號(hào): G06F30/398
• 代理公司: 北京市柳沈律師事務(wù)所 11105
• 代理人: 彭久云

1.一種驗(yàn)證方法，適用于包括驗(yàn)證對(duì)象以及與所述驗(yàn)證對(duì)象交互的多個(gè)驗(yàn)證模塊的系統(tǒng)，所述驗(yàn)證方法包括：

獲取驗(yàn)證配置信息，其中，所述驗(yàn)證配置信息包括所述驗(yàn)證對(duì)象的屬性信息、所述多個(gè)驗(yàn)證模塊的屬性信息和所述多個(gè)驗(yàn)證模塊之間的訪(fǎng)問(wèn)信息；

基于所述驗(yàn)證配置信息，將所述驗(yàn)證對(duì)象與所述多個(gè)驗(yàn)證模塊通信連接、生成驗(yàn)證環(huán)境以及創(chuàng)建測(cè)試用例；

利用所述測(cè)試用例、所述多個(gè)驗(yàn)證模塊和所述驗(yàn)證環(huán)境，對(duì)所述驗(yàn)證對(duì)象進(jìn)行驗(yàn)證。

2.根據(jù)權(quán)利要求1所述的驗(yàn)證方法，其中，獲取驗(yàn)證配置信息，包括：

解析所述驗(yàn)證對(duì)象以獲得所述驗(yàn)證對(duì)象的屬性信息，其中，所述驗(yàn)證對(duì)象的屬性信息包括模塊層次信息和端口信息。

3.根據(jù)權(quán)利要求2所述的驗(yàn)證方法，其中，解析所述驗(yàn)證對(duì)象，包括：

解析所述驗(yàn)證對(duì)象的寄存器傳輸級(jí)文件。

4.根據(jù)權(quán)利要求2所述的驗(yàn)證方法，其中，獲取所述驗(yàn)證配置信息，還包括：

解析所述多個(gè)驗(yàn)證模塊以獲得所述多個(gè)驗(yàn)證模塊的屬性信息，其中，所述驗(yàn)證模塊的屬性信息包括帶寬信息和端口連接信息。

5.根據(jù)權(quán)利要求4所述的驗(yàn)證方法，其中，所述端口連接信息包括所述驗(yàn)證模塊在所述驗(yàn)證對(duì)象上的連接位置信息。

6.根據(jù)權(quán)利要求4所述的驗(yàn)證方法，其中，獲取所述驗(yàn)證配置信息，還包括：

通過(guò)解析所述多個(gè)驗(yàn)證模塊之間的訪(fǎng)問(wèn)關(guān)系得到所述訪(fǎng)問(wèn)信息，其中，所述訪(fǎng)問(wèn)信息包括作為訪(fǎng)問(wèn)發(fā)起方的每個(gè)驗(yàn)證模塊對(duì)作為訪(fǎng)問(wèn)響應(yīng)方的每個(gè)驗(yàn)證模塊的訪(fǎng)問(wèn)權(quán)限、所述作為訪(fǎng)問(wèn)響應(yīng)方的每個(gè)驗(yàn)證模塊各自可被訪(fǎng)問(wèn)的地址空間和/或所述作為訪(fǎng)問(wèn)發(fā)起方的每個(gè)驗(yàn)證模塊各自允許訪(fǎng)問(wèn)的地址空間。

7.根據(jù)權(quán)利要求5所述的驗(yàn)證方法，其中，基于所述驗(yàn)證配置信息，將所述驗(yàn)證對(duì)象與所述多個(gè)驗(yàn)證模塊通信連接，包括：

根據(jù)所述多個(gè)驗(yàn)證模塊的屬性信息，實(shí)例化所述多個(gè)驗(yàn)證模塊，并生成所述多個(gè)驗(yàn)證模塊的配置代碼；

將所述多個(gè)驗(yàn)證模塊的實(shí)例連接至所述驗(yàn)證對(duì)象。

8.根據(jù)權(quán)利要求7所述的驗(yàn)證方法，其中，將所述多個(gè)驗(yàn)證模塊實(shí)例連接至所述驗(yàn)證對(duì)象，包括：

通過(guò)將所述連接位置信息與所述驗(yàn)證對(duì)象的所述端口信息進(jìn)行匹配，確定驗(yàn)證對(duì)象的與所述多個(gè)驗(yàn)證模塊的通信連接關(guān)系；

基于所述通信連接關(guān)系，生成連接代碼，以將所述多個(gè)驗(yàn)證模塊實(shí)例連接至所述驗(yàn)證對(duì)象。

9.根據(jù)權(quán)利要求1至8任一項(xiàng)所述的驗(yàn)證方法，其中，創(chuàng)建所述測(cè)試用例，包括：

創(chuàng)建通路測(cè)試用例、網(wǎng)絡(luò)擁塞測(cè)試用例和協(xié)議遍歷測(cè)試用例中的至少一者。

10.根據(jù)權(quán)利要求9所述的驗(yàn)證方法，其中，創(chuàng)建所述測(cè)試用例，還包括：

根據(jù)所述多個(gè)驗(yàn)證模塊的屬性信息和所述多個(gè)驗(yàn)證模塊之間的訪(fǎng)問(wèn)信息，生成所述通路測(cè)試用例、網(wǎng)絡(luò)擁塞測(cè)試用例和協(xié)議遍歷測(cè)試用例中的至少一者。

11.根據(jù)權(quán)利要求1至8任一項(xiàng)所述的驗(yàn)證方法，其中，生成所述驗(yàn)證環(huán)境，包括：

根據(jù)所述多個(gè)驗(yàn)證模塊的屬性信息，生成驗(yàn)證結(jié)果模塊、生成所述多個(gè)驗(yàn)證模塊與所述驗(yàn)證結(jié)果模塊之間的連接信息以及生成驗(yàn)證覆蓋率信息。

12.根據(jù)權(quán)利要求11所述的驗(yàn)證方法，其中，利用所述測(cè)試用例、所述多個(gè)驗(yàn)證模塊和所述驗(yàn)證環(huán)境，對(duì)所述驗(yàn)證對(duì)象進(jìn)行驗(yàn)證，包括：

激勵(lì)所述多個(gè)驗(yàn)證模塊基于所述測(cè)試用例與所述驗(yàn)證對(duì)象進(jìn)行交互；

利用所述驗(yàn)證結(jié)果模塊獲取所述多個(gè)驗(yàn)證模塊與所述驗(yàn)證對(duì)象的交互數(shù)據(jù)，并基于所述交互數(shù)據(jù)得到驗(yàn)證結(jié)果。

13.根據(jù)權(quán)利要求1至8任一項(xiàng)所述的驗(yàn)證方法，其中，所述驗(yàn)證對(duì)象包括互聯(lián)模塊或芯片。