[發明專利]一種基于功能塊圖測試模型自動生成測試用例的方法

有效

• 申請號: 201510412282.0
• 申請日: 2015-07-14
• 公開（公告）號: CN104991863B
• 公開（公告）日: 2017-11-03
• 發明（設計）人: 李寧;費巧玲;蔣明睿;劉鵬翔;賀曉梅;王朵;陳明奎
• 申請（專利權）人: 株洲南車時代電氣股份有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 湖南兆弘專利事務所(普通合伙)43008
• 代理人: 周長清,譚武藝

1.一種基于功能塊圖測試模型自動生成測試用例的方法，其特征在于步驟包括：

1)提取嵌入式軟件的需求規格中的輸入與輸出、邏輯關系和約束關系，根據軟件的需求規格中的輸入輸出、邏輯關系和約束關系建立基于類功能塊圖語言的功能塊圖測試模型；所述類功能塊圖語言為功能塊圖語言、結構化文本語言、梯形圖語言、順序功能流程圖語言、指令表語言中的一種；

2)建立用于將功能塊圖測試模型轉換為數據組合表的轉換規則；

3)從功能塊圖測試模型中提取基礎數據，然后在基礎數據的基礎上根據所述轉換規則進行數據衍生，從而將功能塊圖測試模型轉換為數據組合表；

4)根據數據組合表生成測試用例。

2.根據權利要求1所述的基于功能塊圖測試模型自動生成測試用例的方法，其特征在于，所述步驟1)的詳細步驟如下：

1.1)提取嵌入式軟件的需求規格中的輸入與輸出；

1.2)定義輸入與輸出的數據類型、取值范圍、默認測試數據；

1.3)分析所有輸入與輸出之間的邏輯關系，將輸入與輸出之間的邏輯關系采用模型元素描述出來，畫出功能塊圖測試模型圖；

1.4)分析所有輸入之間的約束關系，并在功能塊圖測試模型圖上表示出所述約束關系。

3.根據權利要求2所述的基于功能塊圖測試模型自動生成測試用例的方法，其特征在于，所述步驟1.1)中嵌入式軟件的需求規格中的輸入需要滿足的要求包括：輸入的數據類型確定、輸入的數據取值范圍確定、輸入的數據的精度確定、輸入的數據要具備用于生成測試用例時優先取值的默認測試取值。

4.根據權利要求3所述的基于功能塊圖測試模型自動生成測試用例的方法，其特征在于，所述步驟1.3)中的模型元素包括邏輯關系、邏輯比較、運算邏輯、約束關系、時序關系、觸發器或累加器共六種類型的模型元素，所述邏輯關系包括與、或、非、異或以及同或，所述邏輯比較包括恒等、不等、大于、大于等于、小于以及小于等于，所述運算邏輯包括加、減、乘、除、求余、取模、最大值以及最小值，所述約束關系包括E約束、R約束、M約束、O約束以及I約束，所述時序關系包括上升沿延時、下降沿延時以及脈沖，所述觸發器或累加器包括RS觸發器、SR觸發器、遞增計數器以及遞減計數器；所述模型元素在滿足可編程邏輯控制器標準IEC61131的基礎上還包含模型元素的測試屬性；所述模型元素的基本屬性在滿足可編程邏輯控制器標準IEC61131的基礎上，還包括模型元素的名稱、輸入或輸出數量、輸入或輸出數據類型，輸入與輸出之間的邏輯關系；所述模型元素的測試屬性包含輸入與輸入之間的測試組合關系，輸入與輸出之間的測試分解關系。

5.根據權利要求1～4中任意一項所述的基于功能塊圖測試模型自動生成測試用例的方法，其特征在于，所述步驟2)的詳細步驟包括：

2.1)針對功能塊圖測試模型采用以輸出為導向、倒序進行層次劃分，使得同一個模型元素的輸入屬于同一個層次的輸入，從而建立用于將功能塊圖測試模型轉換為數據組合表的分層規則；

2.2)針對功能塊圖測試模型中的每一個模型元素，建立用于將功能塊圖測試模型轉換為數據組合表時，用于使同一個模型元素的輸入實現軟件測試的最優覆蓋的測試數據組合覆蓋規則及優先規則；

2.3)建立用于將功能塊圖測試模型轉換為數據組合表的約束規則，最終得到由分層規則、測試數據組合覆蓋規則及優先規則、約束規則構成的轉換規則。

6.根據權利要求5所述的基于功能塊圖測試模型自動生成測試用例的方法，其特征在于，所述步驟3)的詳細步驟包括：

3.1)以功能塊圖測試模型的直接輸出為導向，根據用于將功能塊圖測試模型轉換為數據組合表的分層規則及優先規則，逆向推導功能塊圖測試模型的原始數據，建立數據組合表的第一組數據組合；

3.2)將第一組數據組合作為基礎數據組合，根據用于將功能塊圖測試模型轉換為數據組合表的覆蓋規則，對第一組數據組合進行變型衍生后續的數據組合，直到生成的數據組合能夠覆蓋功能塊圖測試模型中所有模型元素的覆蓋規則，最終得到由第一組數據組合以及所有后續的數據組合構成的數據組合表。