[發(fā)明專利]分布式包交換芯片模型驗證系統(tǒng)及驗證方法

有效

• 申請?zhí)枺?/td>: 201310083802.9
• 申請日: 2013-03-15
• 公開（公告）號: CN103178996A
• 公開（公告）日: 2013-06-26
• 發(fā)明（設(shè)計）人: 袁博滸
• 申請（專利權(quán)）人: 烽火通信科技股份有限公司
• 主分類號: H04L12/26
• 分類號: H04L12/26
• 代理公司: 北京捷誠信通專利事務(wù)所(普通合伙) 11221
• 代理人: 魏殿紳;龐炳良

1.一種分布式包交換芯片模型驗證系統(tǒng)，其特征在于：包括核心控制模塊、命令行接口模塊、SDK代理接口模塊、虛擬網(wǎng)絡(luò)測試儀表模塊、虛擬芯片配置模塊和C模型封裝模塊，其中，核心控制模塊屬于服務(wù)端程序模塊，命令行接口模塊、SDK代理接口模塊、虛擬網(wǎng)絡(luò)測試儀表模塊、虛擬芯片配置模塊和C模型封裝模塊屬于客戶端程序模塊，該驗證系統(tǒng)屬于客戶端-服務(wù)端-客戶端C/S/C結(jié)構(gòu)的分布式系統(tǒng)，同時支持3種應(yīng)用場景：系統(tǒng)功能模型驗證、軟硬協(xié)同仿真驗證、原型驗證，不同的應(yīng)用場景下所需模塊不同；

核心控制模塊，用于：管理與之相連的命令行接口模塊、SDK代理接口模塊、虛擬網(wǎng)絡(luò)測試儀表模塊之間傳遞的消息，完成全局配置文件和程序模塊間專有消息的轉(zhuǎn)發(fā)、復(fù)制、廣播、分類、保存、統(tǒng)計，同時維護消息通道的連接；

命令行接口模塊，用于：讀取由用戶定制的全局配置文件，根據(jù)讀取的應(yīng)用場景配置參數(shù)啟動當(dāng)前應(yīng)用場景所需的程序模塊，待C/S/C的連接初始化后，為芯片開發(fā)人員提供命令行接口，完成測試用例的定制和編輯；

SDK代理接口模塊，用于：接收核心控制模塊發(fā)來的待測包交換芯片配置，根據(jù)待測包交換芯片配置調(diào)用SDK軟件，驅(qū)動待測包交換芯片的模型/原型正常運行；

虛擬網(wǎng)絡(luò)測試儀表模塊，用于：模擬真實的網(wǎng)絡(luò)測試儀表，根據(jù)核心控制模塊轉(zhuǎn)發(fā)的待測包交換芯片測試激勵配置消息和響應(yīng)檢查配置消息，完成數(shù)據(jù)包的發(fā)送、接收、校驗和統(tǒng)計；

虛擬芯片配置模塊，僅用在系統(tǒng)功能模型驗證應(yīng)用場景下，用于保存、更新、查詢待測包交換芯片的寄存器配置和包處理協(xié)議表項；

C模型封裝模塊，用于：讀取虛擬芯片配置模塊中的待測包交換芯片配置，接收測試模塊發(fā)來的測試激勵，將待測包交換芯片配置和測試激勵送給封裝在其內(nèi)部的包交換芯片模型處理，將該包交換芯片模型處理后的結(jié)果發(fā)送到測試模塊；C模型封裝模塊僅在系統(tǒng)功能模型驗證應(yīng)用場景下啟用，使包交換芯片模型連接到本分布式系統(tǒng)中。

2.如權(quán)利要求1所述的分布式包交換芯片模型驗證系統(tǒng)，其特征在于：所述全局配置文件包括應(yīng)用場景、模型類型、服務(wù)端進程配置信息和若干客戶端進程配置信息，應(yīng)用場景設(shè)置為系統(tǒng)功能模型驗證、軟硬協(xié)同仿真驗證、原型驗證中的一種，用于控制不同的應(yīng)用場景中所需程序模塊的使能及運行方式；模型類型根據(jù)待測芯片的不同模塊的模型被設(shè)置成不同標識，僅用在系統(tǒng)功能模型驗證應(yīng)用場景下，C模型封裝模塊根據(jù)模型標識動態(tài)鏈接對應(yīng)的C模型的目標文件；服務(wù)端進程配置信息包括IP地址、端口號、進程類型和設(shè)備號，客戶端進程配置信息包括進程類型和設(shè)備號，IP地址和端口號用于創(chuàng)建服務(wù)器端程序模塊和客戶端程序模塊之間的網(wǎng)絡(luò)套接字連接，構(gòu)建程序模塊間的消息通道；進程類型被設(shè)置成不同的進程標識，用于區(qū)分不同的模塊類型；在非組網(wǎng)測試中，核心控制模塊將按照進程類型來進行對應(yīng)的操作；設(shè)備號用于區(qū)分程序模塊測試的待測芯片，在組網(wǎng)測試中，每個待測芯片都存在唯一的設(shè)備號，在組網(wǎng)測試中，核心控制模塊將按照設(shè)備號、進程類型來進行對應(yīng)的操作，在非組網(wǎng)測試中，設(shè)備號被系統(tǒng)忽略。

3.如權(quán)利要求1所述的分布式包交換芯片模型驗證系統(tǒng)，其特征在于：所述程序模塊間專有消息包括6個消息域：設(shè)備號、來源進程類型、目標進程類型、命令狀態(tài)、消息號、消息內(nèi)容，其中，設(shè)備號用于區(qū)分程序模塊測試的待測芯片，在組網(wǎng)測試中，每個待測芯片都存在唯一的設(shè)備號，在組網(wǎng)測試中，核心控制模塊將按照設(shè)備號、進程類型來進行對應(yīng)的操作，在非組網(wǎng)測試中，設(shè)備號被系統(tǒng)忽略；來源進程類型和目標進程類型用于表示一個消息的來源和目標，便于核心控制模塊將按照進程類型進行轉(zhuǎn)發(fā)，同時用于和消息號一同計算得出全局消息號；命令狀態(tài)用于表示一個消息的基本返回狀態(tài)；消息號用于區(qū)分同一類程序模塊內(nèi)不同的消息，核心控制模塊根據(jù)全局消息號進行操作；消息內(nèi)容是各個消息號對應(yīng)的具體消息內(nèi)容。

4.如權(quán)利要求3所述的分布式包交換芯片模型驗證系統(tǒng)，其特征在于：所述命令狀態(tài)包括正確返回、命令錯誤和命令超時3種狀態(tài)。

5.如權(quán)利要求3所述的分布式包交換芯片模型驗證系統(tǒng)，其特征在于：所述具體消息內(nèi)容包括子消息、字符串信息和協(xié)議報文。

6.如權(quán)利要求3所述的分布式包交換芯片模型驗證系統(tǒng)，其特征在于：每一類程序模塊內(nèi)部的消息號是獨立編號的，對于整個分布式系統(tǒng)而言，全局消息號=目標進程類型的全局起始消息編號+消息號。