[發明專利]一種輔助嵌入式系統接口功能驗證方法

有效

• 申請號: 201210048940.9
• 申請日: 2012-02-28
• 公開（公告）號: CN102629227A
• 公開（公告）日: 2012-08-08
• 發明（設計）人: 盧延云;張樹安;喬靜怡
• 申請（專利權）人: 中科開元信息技術（北京）有限公司
• 主分類號: G06F11/263
• 分類號: G06F11/263
• 代理公司: 北京金智普華知識產權代理有限公司 11401
• 代理人: 皋吉甫

1.一種輔助嵌入式系統接口功能驗證方法，其特征在于，所述方法按照系統接口的特性選取、設計可配置組件與可配置狀態表；利用轉化算法快速生成測試用例，其包括步驟：

1)將嵌入式系統中的資源對象化，并將提取出的每個對象以獨立的可配置組件的形式表達；所述對象本身具有一個或多個參數，表現在系統中的不同狀態；所述可配置組件為一個對象狀態的全集；

2)提供兩類特殊的可配置組件：系統接口的參數組件和狀態轉移組件，其中，所述參數組件用來表達系統接口的參數及其取值，所述狀態轉移組件表達對象在系統接口被調用前后的狀態；

3)提供可配置狀態表：其包含上述可配置組件，用來表達對象在系統接口被調用前后的狀態；并針對一個特定的系統接口，包含影響其調用的對象的狀態集、被調用后受影響的對象的狀態集以及調用前后對象狀態的對應規則；

4)提出一種由可配置組件到測試代碼的轉換算法，用以保證測試用例設計和實現的一致性。

2.根據權利要求1所述的輔助嵌入式系統接口功能驗證方法，其特征在于，所述對象為系統中的任務、信號量，郵箱，條件變量、中斷及系統狀態；所述可配置組件的載體選用microsoft?excel表格，其配置方式采用下拉菜單式配置方式或限定范圍的方式，分別適用于數值型條目和非數值型條目。

3.根據權利要求2所述的輔助嵌入式系統接口功能驗證方法，其特征在于，在步驟1，所述對象的可配置組件包括一般對象可配置組件和特殊對象可配置組件；其中，一般對象可配置組件的參數取值，采取下拉菜單式配置；如果參數取值是連續的整數，且可取值區間大于10個，采用限定范圍配置的方式；

對于參數取值既有連續區間，又有特定取值的對象可配置組件采取兩種方式混合設計，即針對特定值采用下拉菜單配置式，針對連續區間采用限定范圍式；

對于有多個互有聯系的參數的對象，通過對象內參數映射的方式，實現參數及其取值的自動配置。

4.根據權利要求3所述的輔助嵌入式系統接口功能驗證方法，其特征在于，在步驟2，所述狀態轉移組件包括狀態限定組件、系統接口調用成功狀態轉移組件和系統接口調用失敗狀態轉移組件，分別表達在系統接口被調用之前對象之間的限定關系和系統接口被調用前后對象的變化；所述系統接口被調用前后對象的變化包括系統接口調用成功之后對象的變化和系統接口調用發生錯誤之后對象的變化，所述系統接口參數組件依據系統接口參數個數來配置參數。

5.根據權利要求4所述的輔助嵌入式系統接口功能驗證方法，其特征在于：

所述狀態限定組件通過對象間的限定條件，確定系統接口被調用前不同對象狀態組合的全集；

所述系統接口調用成功狀態轉移組件，該組件涉及對象間的關系、系統接口調用前參數的取值、對象在系統接口調用后的狀態變化、系統接口調用后參數的變化和系統接口返回的代碼；使用對象內參數映射的方法，減少配置狀態表時的工作量。

6.根據權利要求5所述的輔助嵌入式系統接口功能驗證方法，其特征在于，在步驟4，所述轉換算法根據可配置狀態表，將測試用例設計為公共部分、索引部分、設置部分和檢查部分，并針對所述的每一部分，提供相應的轉換算法：所述公共部分是把系統狀態的設置方法和檢查方法提取出來，作為公共部分；所述索引部分是針對系統接口被調用之前對象狀態的集合在測試用例中的表示，采取了目錄索引的方式形成；所述設置部分是根據索引調用相應的方法設置出對象間需要的狀態集；所述檢查部分檢查設置好的狀態在系統接口被調用后是否轉移到預期狀態。

7.根據權利要求6所述的輔助嵌入式系統接口功能驗證方法，其特征在于，所述索引部分具體實現如下：

對于每個對象可能存在的狀態集合，使用一個數組來定義和表達，該數組中的每行元素對應對象的一種狀態；而對于不同對象間可能存在狀態的集合，使用一個數組來定義和表達，該數組中的一個元素是一組編號，每個編號代表不同對象在其對應數組里的位置。