[發(fā)明專利]一種基于MIPS處理器vxWorks系統(tǒng)的驗證方法和裝置

有效

• 申請?zhí)枺?/td>: 201710113729.3
• 申請日: 2017-02-28
• 公開（公告）號: CN108509289B
• 公開（公告）日: 2021-06-29
• 發(fā)明（設計）人: 薛雨;劉大同;袁俊卿
• 申請（專利權(quán)）人: 龍芯中科技術(shù)股份有限公司
• 主分類號: G06F11/07
• 分類號: G06F11/07
• 代理公司: 北京潤澤恒知識產(chǎn)權(quán)代理有限公司 11319
• 代理人: 蘇培華

1.一種基于MIPS處理器vxWorks系統(tǒng)的驗證方法，其特征在于，包括：

驗證程序隨機生成至少一種預設長度的測試數(shù)據(jù)單元，所述驗證程序運行于vxWorks系統(tǒng)，所述vxWorks系統(tǒng)運行于MIPS處理器上；

所述驗證程序獲取在所述處理器的內(nèi)存中請求的連續(xù)的內(nèi)存塊的首地址，針對所述首地址向后取整得到對齊地址，所述對齊地址是指所訪問的數(shù)據(jù)單元字節(jié)數(shù)的整數(shù)倍的內(nèi)存地址；

所述驗證程序針對所述對齊地址向后查找設定位置差值的地址，得到非對齊地址，所述設定位置差值為測試數(shù)據(jù)單元的長度的非整數(shù)倍的數(shù)值；

所述驗證程序?qū)⒅辽僖环N長度的所述測試數(shù)據(jù)單元寫入所述非對齊地址對應的內(nèi)存，若寫入過程正常，則驗證通過。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述針對所述首地址向后取整得到所述對齊地址包括：

以任意一種所述測試數(shù)據(jù)單元的長度，對所述首地址向后取整得到對齊地址。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述針對所述對齊地址向后查找設定位置差值的地址，得到非對齊地址包括：

將所述對齊地址的下一個地址作為所述非對齊地址。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，在所述將至少一種長度的所述測試數(shù)據(jù)單元寫入所述非對齊地址對應的內(nèi)存，若寫入過程正常，則驗證通過之后，所述方法還包括：

顯示出所述vxWorks系統(tǒng)能夠處理非對齊地址訪問的提示。

5.一種基于MIPS處理器vxWorks系統(tǒng)的驗證裝置，其特征在于，包括：

數(shù)據(jù)單元生成模塊，用于驗證程序隨機生成至少一種預設長度的測試數(shù)據(jù)單元，所述驗證程序運行于vxWorks系統(tǒng)，所述vxWorks系統(tǒng)運行于MIPS處理器上；

對齊地址獲取模塊，包括：

首地址獲取子模塊，用于所述驗證程序獲取在所述MIPS處理器的內(nèi)存中請求的連續(xù)的內(nèi)存塊的首地址；

向后取整子模塊，用于針對所述首地址向后取整得到所述對齊地址；所述對齊地址是指所訪問的數(shù)據(jù)單元字節(jié)數(shù)的整數(shù)倍的內(nèi)存地址；

非對齊地址查找模塊，用于所述驗證程序針對所述對齊地址向后查找設定位置差值的地址，得到非對齊地址，所述設定位置差值為測試數(shù)據(jù)單元的長度的非整數(shù)倍的數(shù)值；

數(shù)據(jù)單元寫入模塊，用于所述驗證程序?qū)⒅辽僖环N長度的所述測試數(shù)據(jù)單元寫入所述非對齊地址對應的內(nèi)存，若寫入過程正常，則驗證通過。

6.根據(jù)權(quán)利要求5所述的裝置，其特征在于，所述向后取整子模塊，具體用于以任意一種所述測試數(shù)據(jù)單元的長度，對所述首地址向后取整得到對齊地址。

7.根據(jù)權(quán)利要求5所述的裝置，其特征在于，所述非對齊地址查找模塊，具體用于將所述對齊地址的下一個地址作為所述非對齊地址。

8.根據(jù)權(quán)利要求5所述的裝置，其特征在于，所述裝置還包括：

提示顯示模塊，用于在所述將至少一種長度的所述測試數(shù)據(jù)單元寫入所述非對齊地址對應的內(nèi)存，若寫入過程正常，則驗證通過之后，顯示出所述vxWorks系統(tǒng)能夠處理非對齊地址訪問的提示。

9.一種計算機可讀存儲介質(zhì)，其特征在于，所述存儲介質(zhì)中存儲有至少一條指令，所述至少一條指令在被執(zhí)行時以實現(xiàn)所述權(quán)利要求1-4中任一所述的基于MIPS處理器vxWorks系統(tǒng)的驗證方法。