基于路由交換范式的構(gòu)件功能一致性驗證方法及裝置的制造方法
【技術領域】
[0001]本領域涉及路由器構(gòu)件功能的驗證技術領域，尤其涉及一種基于路由交換范式的構(gòu)件功能一致性驗證方法及裝置。
【背景技術】
[0002]目前，可重構(gòu)路由器的發(fā)展使得路由器研發(fā)門檻進一步降低，研發(fā)周期進一步縮短，研發(fā)成本也降低了許多，產(chǎn)品更加適應多樣化應用需求。可重構(gòu)路由器體系結(jié)構(gòu)可以分為三個等級，分別是平臺、組件、構(gòu)件。其中，平臺是可重構(gòu)完成多種任務的系統(tǒng)，組件是可重構(gòu)實現(xiàn)特點功能的單元，構(gòu)件是可重構(gòu)實施給定處理的模塊，即平臺是任務系統(tǒng)，組件是功能單元，構(gòu)件是處理模塊。
[0003]路由器構(gòu)件具備可擴展特性與可重構(gòu)特性，是一種路由交換軟件體系結(jié)構(gòu)模型和實現(xiàn)框架的重要組成部分?？芍貥?gòu)路由的構(gòu)件有如下特點:第一，構(gòu)件實現(xiàn)相對簡單；第二，構(gòu)件功能相對單一，只需完成組件功能的一個動作即可(比如轉(zhuǎn)發(fā)組件的查表構(gòu))；第三，構(gòu)件開發(fā)模式具備開放性，通過制定構(gòu)件統(tǒng)一的接口規(guī)范，使得第三方構(gòu)件提供商在內(nèi)的多類廠商都能參與其中，極大的提高可重構(gòu)路由器的研發(fā)效率，明顯降低研發(fā)成本。
[0004]然而，由于基于路由交換范式的路由器構(gòu)件功能一致性靜態(tài)驗證是路由器構(gòu)件研發(fā)過程中的重要結(jié)點，所以只有通過功能一致性靜態(tài)驗證，后續(xù)工作才能正常開展。構(gòu)件在實現(xiàn)層面對應一個簡單的程序處理模塊，其源程序一般由順序、選擇、循環(huán)三種基本結(jié)構(gòu)組成，這三種最基本的結(jié)構(gòu)合理搭配使用就能得到一個可用的構(gòu)件。目前有很多集成化開發(fā)工具可以快速發(fā)現(xiàn)源代碼中語法錯誤，但是不能發(fā)現(xiàn)構(gòu)件代碼缺陷、構(gòu)件功能一致性問題。
[0005]因此，如何快速發(fā)現(xiàn)構(gòu)件代碼缺陷、構(gòu)件功能與設計一致性問題已經(jīng)成為亟待解決的問題。

【發(fā)明內(nèi)容】

[0006]本發(fā)明的目的旨在至少在一定程度上解決上述的技術問題之一。
[0007]為此，本發(fā)明的一個目的在于提出一種基于路由交換范式的構(gòu)件功能一致性驗證方法。該方法可以通過根據(jù)構(gòu)件功能定義對簡單的單支樹進行構(gòu)件功能一致性驗證，加快驗證過程，提高驗證效率，并且，通過對于路由構(gòu)件源程序代碼進行分塊和流程圖分解，能夠較為方便地發(fā)現(xiàn)代碼結(jié)構(gòu)缺陷，為缺陷改進打下良好的基礎。
[0008]本發(fā)明的另一個目的在于提出一種基于路由交換范式的構(gòu)件功能一致性驗證裝置。
[0009]為了達到上述目的，本發(fā)明第一方面實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法，包括:讀取待驗證構(gòu)件源程序代碼；對所述待驗證構(gòu)件源程序代碼進行預處理，并根據(jù)預處理后的待驗證構(gòu)件源程序代碼生成對應的分塊流程圖；將所述分塊流程圖按照所述待驗證構(gòu)件源程序代碼中的控制流程及約束條件生成至少一個單支樹；以及根據(jù)構(gòu)件功能定義對所述至少一個單支樹進行構(gòu)件功能一致性驗證。
[0010]根據(jù)本發(fā)明實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法，可先讀取待驗證構(gòu)件源程序代碼，之后可對待驗證構(gòu)件源程序代碼進行預處理，并根據(jù)預處理后的待驗證構(gòu)件源程序代碼生成對應的分塊流程圖，并將分塊流程圖按照待驗證構(gòu)件源程序代碼中的控制流程及約束條件生成至少一個單支樹，以及根據(jù)構(gòu)件功能定義對至少一個單支樹進行構(gòu)件功能一致性驗證，加快了驗證過程，提高了驗證效率，并且，通過對于路由構(gòu)件源程序代碼進行分塊和流程圖分解，能夠較為方便地發(fā)現(xiàn)代碼結(jié)構(gòu)缺陷，為缺陷改進打下良好的基礎。
[0011]為了達到上述目的，本發(fā)明第二方面實施例的基于路由交換范式的構(gòu)件功能一致性驗證裝置，包括:讀取模塊，用于讀取待驗證構(gòu)件源程序代碼；預處理模塊，用于對所述待驗證構(gòu)件源程序代碼進行預處理；第一生成模塊，用于根據(jù)所述預處理模塊預處理后的待驗證構(gòu)件源程序代碼生成對應的分塊流程圖；第二生成模塊，用于將所述分塊流程圖按照所述待驗證構(gòu)件源程序代碼中的控制流程及約束條件生成至少一個單支樹；以及驗證模塊，用于根據(jù)構(gòu)件功能定義對所述至少一個單支樹進行構(gòu)件功能一致性驗證。
[0012]根據(jù)本發(fā)明實施例的基于路由交換范式的構(gòu)件功能一致性驗證裝置，通過根據(jù)構(gòu)件功能定義對簡單的單支樹進行構(gòu)件功能一致性驗證，加快了驗證過程，提高了驗證效率，并且，通過對于路由構(gòu)件源程序代碼進行分塊和流程圖分解，能夠較為方便地發(fā)現(xiàn)代碼結(jié)構(gòu)缺陷，為缺陷改進打下良好的基礎。
[0013]本發(fā)明附加的方面和優(yōu)點將在下面的描述中部分給出，部分將從下面的描述中變得明顯，或通過本發(fā)明的實踐了解到。
【附圖說明】
[0014]本發(fā)明上述的和/或附加的方面和優(yōu)點從下面結(jié)合附圖對實施例的描述中將變得明顯和容易理解，其中，
[0015]圖1是根據(jù)本發(fā)明一個實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法的流程圖；
[0016]圖2是根據(jù)本發(fā)明另一個實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法的流程圖；
[0017]圖3 (a)、圖 3 (b)、圖 3 (C)、圖 3 (d)、圖 3 (e)、圖 3 (f)、圖 3 (g)和圖 3 (h)是分別根據(jù)圖2中的方法對待驗證構(gòu)件源程序代碼進行處理的過程中產(chǎn)生的相應結(jié)果的示例圖；
[0018]圖4是根據(jù)本發(fā)明一個實施例的基于路由交換范式的構(gòu)件功能一致性驗證裝置的結(jié)構(gòu)不意圖；
[0019]圖5是根據(jù)本發(fā)明一個實施例的第一生成模塊的結(jié)構(gòu)示意圖；以及
[0020]圖6是根據(jù)本發(fā)明一個實施例的第二生成模塊的結(jié)構(gòu)示意圖。
【具體實施方式】
[0021]下面詳細描述本發(fā)明的實施例，所述實施例的示例在附圖中示出，其中自始至終相同或類似的標號表示相同或類似的元件或具有相同或類似功能的元件。下面通過參考附圖描述的實施例是示例性的，旨在用于解釋本發(fā)明，而不能理解為對本發(fā)明的限制。
[0022]需要說明的是，本發(fā)明提出的基于路由交換范式的構(gòu)件功能一致性驗證方法及裝置的適用條件:使用C/C++結(jié)構(gòu)化編程方法編寫的基于路由交換范式的路由器構(gòu)件，構(gòu)件源程序代碼函數(shù)無嵌套調(diào)用(如有嵌套調(diào)用的函數(shù)，則將其視為構(gòu)件)。
[0023]下面參考附圖描述根據(jù)本發(fā)明實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法及裝置。
[0024]圖1是根據(jù)本發(fā)明一個實施例的基于路由交換范式的構(gòu)件功能一致性驗證方法的流程圖。如圖1所示，該基于路由交換范式的構(gòu)件功能一致性驗證方法可以包括:
[0025]S101，讀取待驗證構(gòu)件源程序代碼。
[0026]具體地，可從可重構(gòu)路由器對應的源程序中讀取出路由器構(gòu)件對應的源程序代碼作為待驗證源程序代碼。其中，可以理解，構(gòu)件是可重構(gòu)路由器體系中可重構(gòu)實施給定處理的模塊，即構(gòu)件在可重構(gòu)路由器中在實現(xiàn)層面上對應一個簡單的程序處理模塊，其源程序一般由順序結(jié)構(gòu)、選擇結(jié)構(gòu)和循環(huán)結(jié)構(gòu)三種基本結(jié)構(gòu)組成。
[0027]S102，對待驗證構(gòu)件源程序代碼進行預處理，并根據(jù)預處理后的待驗證構(gòu)件源程序代碼生成對應的分塊流程圖。
[0028]具體而言，在本發(fā)明的實施例中，可先對待驗證構(gòu)件源程序代碼進行預處理，之后，可按照執(zhí)行順序?qū)︻A處理后的待驗證構(gòu)件源程序代碼進行分塊，得到至少一個分塊代碼，然后，將至少一個分塊代碼按照結(jié)構(gòu)化流程圖的方式表示成分塊流程圖。其中，在本發(fā)明的實施例中，執(zhí)行順序可包括但不限于入口參數(shù)、變量定義與賦值、選擇結(jié)構(gòu)、循環(huán)結(jié)構(gòu)、函數(shù)調(diào)用和函數(shù)返回等中的一種或多種。
[0029]具體而言，對待驗證構(gòu)件源程序代碼進行預處理的具體實現(xiàn)過程可為:將待驗證構(gòu)件源程序代碼按照結(jié)構(gòu)化編程方式進行調(diào)整處理，并刪除調(diào)整處理后的待驗證構(gòu)件源程序代碼中的注釋部分、預包含部分和預定義部分。更具體地，可將待驗證構(gòu)件源程序代碼按照結(jié)構(gòu)化編程方式進行調(diào)整處理，形成結(jié)構(gòu)清