[發明專利]一種算法驗證方法及系統

有效

• 申請號: 201210109768.3
• 申請日: 2012-04-13
• 公開（公告）號: CN102662728A
• 公開（公告）日: 2012-09-12
• 發明（設計）人: 陳勇;張祖禹;鄂華;張春青
• 申請（專利權）人: 大唐移動通信設備有限公司
• 主分類號: G06F9/455
• 分類號: G06F9/455;G06F9/44
• 代理公司: 北京同達信恒知識產權代理有限公司 11291
• 代理人: 劉松

1.一種算法驗證方法，其特征在于，該方法包括：

生成算法仿真程序；

對算法仿真程序進行適配，得到需要在真實設備中運行的核心算法可執行文件和非核心算法命令；

將所述非核心算法命令發送給真實設備中的相應模塊，以及將所述核心算法可執行文件寫入真實設備中的相應模塊；

在真實設備中運行所述核心算法可執行文件和非核心算法命令，得到驗證結果。

2.根據權利要求1所述的方法，其特征在于，所述對算法仿真程序進行適配，得到需要在真實設備中運行的核心算法可執行文件和非核心算法命令，包括：

將算法仿真程序中的仿真實現過程拆分為多個子過程，每個子過程對應真實設備中的不同模塊，其中對應可替換的核心模塊的為核心算法子過程，其他過程為非核心算法子過程；

將對應真實設備中的可替換的核心模塊的核心算法子過程進行語法解析，使得核心算法子過程符合真實設備中可替換的核心模塊的語法約束；對非核心算法子過程進行命令解析，將非核心算法子過程翻譯為真實設備中對應模塊能夠理解的非核心算法命令；

將算法解釋處理后的對應真實設備中的可替換的核心模塊的核心算法子過程進行功能編譯，轉化為真實設備中的可替換的核心模塊能夠執行的核心算法可執行文件。

3.根據權利要求2所述的方法，其特征在于，通過預先設置的基礎函數映射庫，實現對子過程的語法約束和命令解析。

4.根據權利要求2所述的方法，其特征在于，通過預先針對真實設備設置的編譯基礎庫，將算法解釋處理后的對應真實設備中的可替換的核心模塊的核心算法子過程進行功能編譯。

5.根據權利要求1所述的方法，其特征在于，該方法還包括：

將所述驗證結果寫入測試文本，形成算法驗證報告。

6.一種算法驗證系統，其特征在于，該系統包括：

算法驗證描述子系統，用于生成算法仿真程序；

算法適配子系統，用于對算法仿真程序進行適配，得到需要在真實設備中運行的核心算法可執行文件和非核心算法命令；將所述非核心算法命令發送給真實設備中的相應模塊，以及將所述核心算法可執行文件寫入真實設備中的相應模塊；

真實設備，用于運行所述核心算法可執行文件和非核心算法命令，得到驗證結果。

7.根據權利要求6所述的系統，其特征在于，所述算法適配子系統包括：

算法驗證接口，用于讀入算法驗證描述子系統生成的算法仿真程序；

算法分解模塊，用于將算法仿真程序中的仿真實現過程拆分為多個子過程，每個子過程對應真實設備中的不同模塊，其中對應可替換的核心模塊的為核心算法子過程，其他過程為非核心算法子過程；

算法解釋模塊，用于將對應真實設備中的可替換的核心模塊的核心算法子過程進行語法解析，使得核心算法子過程符合真實設備中可替換的核心模塊的語法約束；對非核心算法子過程進行命令解析，將非核心算法子過程翻譯為真實設備中對應模塊能夠理解的非核心算法命令，以及將所述非核心算法命令發送給真實設備中的相應模塊；

功能編譯模塊，用于將算法解釋處理后的對應真實設備中的可替換的核心模塊的核心算法子過程進行功能編譯，轉化為真實設備中的可替換的核心模塊能夠執行的核心算法可執行文件；

功能替換模塊，用于將所述核心算法可執行文件寫入真實設備中的相應模塊。

8.根據權利要求7所述的系統，其特征在于，所述算法解釋模塊通過預先設置的基礎函數映射庫，實現對子過程的語法約束和命令解析。

9.根據權利要求7所述的系統，其特征在于，所述功能編譯模塊通過預先針對真實設備設置的編譯基礎庫，將算法解釋處理后的對應真實設備中的可替換的核心模塊的核心算法子過程進行功能編譯。

10.根據權利要求7所述的系統，其特征在于，所述真實設備還用于將所述驗證結果反饋給所述算法適配子系統；

所述算法適配子系統還包括：

驗證結果處理模塊，用于對所述驗證結果進行分析和處理，將所述驗證結果寫入測試文本，形成算法驗證報告。