[發明專利]DSP匯編語言程序驗證方法及其裝置

有效

• 申請號: 200810086180.4
• 申請日: 2008-03-17
• 公開（公告）號: CN101251823A
• 公開（公告）日: 2008-08-27
• 發明（設計）人: 劉昕
• 申請（專利權）人: 北京天碁科技有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F9/45
• 代理公司: 隆天國際知識產權代理有限公司
• 代理人: 郭曉東

1.一種DSP匯編語言程序驗證裝置，其特征在于，具有：

轉換器，其用于將DSP匯編語言程序轉換成高級語言的等效功能模型；

高級語言驗證單元，其用于驗證上述高級語言的等效功能模型。

2.如權利要求1所述的DSP匯編語言程序驗證裝置，其特征在于，上述轉換器具有：

文本識別單元，其用于對DSP匯編語言程序中的各源代碼分別進行文本識別處理；

基本要素提取單元，其從文本識別處理后的各源代碼中提取各個基本要素；

中間代碼生成單元，其根據上述基本要素提取單元所提取的各源代碼的基本要素，分別生成與各源代碼對應的各個中間代碼；

鏈接單元，其將上述各個中間代碼鏈接到一起，形成一個統一的最終中間代碼；

高級語言代碼生成單元，其將鏈接單元鏈接生成的最終中間代碼映射到高級語言上，從而生成以高級語言表示且能夠實現原DSP匯編語言程序的功能的高級語言的等效功能模型。

3.如權利要求2所述的DSP匯編語言程序驗證裝置，其特征在于，

還具有語法分析單元，該語法分析單元基于該DSP匯編語言的語法，對文本識別單元識別處理后的各源代碼進行語法分析，判斷各源代碼的合法性，并將判斷結果為合法的各源代碼輸出給上述基本要素提取單元。

4.如權利要求1至3中任一項所述的DSP匯編語言程序驗證裝置，其特征在于，上述高級語言是e語言。

5.如權利要求1至3中任一項所述的DSP匯編語言程序驗證裝置，其特征在于，上述高級語言驗證單元具有：

存儲模塊，其用于存儲各種信息；

測試約束定義模塊，其預先定義上述高級語言的等效功能模型的測試約束，并存儲在上述存儲模塊中；

測試向量生成模塊，其根據測試約束定義模塊所定義的測試約束，自動隨機生成測試向量并分別調入到來自上述轉換器的高級語言的等效功能模型和預先準備的參考模型中，然后將所生成的測試向量存儲在上述存儲模塊中，其中，上述該參考模型是用于通過其輸出來判斷高級語言的等效功能模型的輸出的正確性的模型；

比較判斷控制模塊，其對于高級語言的等效功能模型和參考模型的執行結果進行比較，并判斷兩者是否相同，如果兩者相同，則判斷為高級語言的等效功能模型這次測試合格，并將上述執行結果存儲在存儲模塊中，然后給測試向量生成模塊下達指令，以使其繼續生成另一組隨機的測試向量，重復執行上述過程，直到判斷為隨機生成且測試合格的測試向量的數目達到測試約束的覆蓋率要求為止，若判斷為已達到覆蓋率要求，則下達輸出指令；

輸出模塊，其若從比較判斷控制模塊接收到輸出指令，則從存儲單元中讀取所存儲的各種測試相關信息并輸出給用戶。

6.一種DSP匯編語言程序驗證方法，其特征在于，包括：

轉換步驟，用于將DSP匯編語言程序轉換成高級語言的等效功能模型；

驗證步驟，用于驗證上述高級語言的等效功能模型。

7.如權利要求6所述的DSP匯編語言程序驗證方法，其特征在于，上述轉換步驟包括：

文本識別步驟，對DSP匯編語言程序中的各源代碼分別進行文本識別處理；

基本要素提取步驟，從識別處理后的各源代碼中分別提取這些源代碼的各個基本要素；

中間代碼生成步驟，根據上述基本要素提取步驟所提取的各源代碼的基本要素，分別生成與各源代碼對應的各個中間代碼；

鏈接步驟，將上述各個中間代碼鏈接到一起，形成一個統一的最終中間代碼；

高級語言代碼生成步驟，將鏈接單元鏈接生成的最終中間代碼映射到高級語言上，從而生成以高級語言表示且能夠實現原DSP匯編語言程序的功能的高級語言的等效功能模型。

8.如權利要求7所述的DSP匯編語言程序驗證方法，其特征在于，

在文本識別步驟之后且在基本要素提取步驟之前，還包括語法分析步驟，該語法分析步驟基于該DSP匯編語言的語法，對文本識別單元識別處理后的各源代碼進行語法分析，判斷各源代碼的合法性，若判斷結果為合法，則進入基本要素提取步驟。

9.如權利要求6至8中任一項所述的DSP匯編語言程序驗證方法，其特征在于，上述高級語言是e語言。

10.如權利要求6至8中任一項所述的DSP匯編語言程序驗證方法，其特征在于，上述驗證步驟包括：

測試約束定義步驟，預先定義并存儲上述高級語言的等效功能模型的測試約束；

測試向量生成步驟，根據測試約束定義步驟所定義的測試約束，自動隨機生成測試向量，并進行存儲；

測試向量調入步驟，將測試向量生成步驟所生成的測試向量分別調入到在上述的轉換步驟所生成的高級語言的等效功能模型和預先準備的參考模型中，然后對所生成的測試向量進行存儲，其中，上述該參考模型是用于通過其輸出來判斷高級語言的等效功能模型的輸出的正確性的模型；

比較判斷控制步驟，對于高級語言的等效功能模型和參考模型的執行結果進行比較，并判斷兩者是否相同，如果兩者相同，則判斷為高級語言的等效功能模型這次測試合格，并對上述執行結果進行存儲，然后給測試向量生成模塊下達指令，以使其繼續生成另一組隨機的測試向量，重復執行上述過程，直到判斷為隨機生成且測試合格的測試向量的數目達到測試約束的覆蓋率要求為止；

輸出步驟，若判斷為已達到覆蓋率要求，則讀取所存儲的各種測試相關信息并輸出給用戶。