[發明專利]一種星載軟件測試用例的生成方法及裝置

在審

• 申請號: 202010762816.3
• 申請日: 2020-07-31
• 公開（公告）號: CN112015639A
• 公開（公告）日: 2020-12-01
• 發明（設計）人: 黃晨;江云松;于倩;左萬娟;馮濤;陳華南;房振軍;王松松;徐逸群;魏鵬;虞礪琨;郭華;王小麗
• 申請（專利權）人: 北京軒宇信息技術有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國航天科技專利中心 11009
• 代理人: 陳鵬

1.一種星載軟件測試用例的生成方法，其特征在于，包括：

根據預設的星載軟件需求信息建立狀態機模型，其中，所述狀態機模型是指采用狀態機圖描述軟件系統中功能的狀態圖元以及轉移圖元；

將所述狀態機模型轉換為有向圖以及確定所述有向圖中所有路徑集合，并根據預設的路徑約束條件從所有路徑集合中確定出可執行路徑集合；

根據預設的測試用例覆蓋策略從所述可執行路徑集合中確定出可執行測試路徑集合，根據所述可執行測試路徑集合自動生成測試用例集。

2.如權利要求1所述的方法，其特征在于，根據預設的星載軟件需求信息建立狀態機模型，包括：

確定所述軟件系統與外部系統之間的硬件接口信息以及數據流信息；

根據所述星載軟件需求信息、所述硬件接口信息以及所述數據流信息將所述軟件系統的功能進行分層劃分確定所述軟件系統的功能和子功能，根據所述功能和子功能建立分層的數據流圖；

建立各功能對應的測試場景以及根據所述數據流圖確定各功能的狀態圖元以及轉移圖元以及測試場景，基于所述測試場景采用狀態機圖對所述狀態圖元、所述轉移圖元進行描述建立得到所述狀態機模型。

3.如權利要求2所述的方法，其特征在于，基于所述測試場景采用狀態機圖對所述狀態圖元、所述轉移圖元進行描述建立得到所述狀態機模型，包括：

確定所述狀態圖元以及所述轉移圖元的屬性信息，其中，屬性信息包括狀態圖元的執行動作、轉移圖元的觸發、守衛和轉移造成的影響；

采用預設的動作表達式對所述狀態圖元的執行動作、所述轉移圖元的觸發進行定義，采用預設的變量表達對所述轉移圖元的守衛進行定義，以及采用預設的動作表達式或預設的變量表達對所述轉移造成的影響進行定義得到所述狀態機模型。

4.如權利要求3所述的方法，其特征在于，將所述狀態機模型轉換為有向圖以及確定所述有向圖中所有路徑集合，包括：

根據將所述狀態圖元作為所述有向圖的節點以及將所述轉移圖元作為所述有向圖的邊原則，將所述狀態機模型轉換為有向圖；

計算所述有向圖中各節點的出度和入度，根據所述出度和入度建立鄰接矩陣，根據所述鄰接矩陣確定所述所有路徑集合。

5.如權利要求4所述的方法，其特征在于，根據將所述狀態圖元作為所述有向圖的節點以及將所述轉移圖元作為所述有向圖的邊原則，將所述狀態機模型轉換為有向圖，包括：

對所述狀態機模型進行解析確定各個圖元的屬性信息，其中，所述屬性信息包括通用屬性信息以及專用屬性信息；

根據所述屬性信息判斷所述狀態機模型中是否存在復合狀態，其中，所述復合狀態包括外層狀態和至少一層內層子狀態；

若存在，則判斷所述復合狀態是否設置為隱蔽；

若設置為隱蔽，則將所述復合狀態作為簡單狀態進行轉換；

否則，判斷轉移是否指向復合狀態的外層狀態；

若指向外層狀態，則從所述復合狀態中每個內層子狀態的初始節點開始進行轉換；若轉移指向所述復合狀態中任一內層子狀態，則從指向的內層子狀態開始進行轉換。

6.如權利要求1～5任一項所述的方法，其特征在于，所述預設的測試用例覆蓋策略包括：基本路徑覆蓋策略以及簡單路徑覆蓋策略；其中，

所述基本路徑覆蓋策略包括：狀態覆蓋、轉移覆蓋以及基本覆蓋；所述狀態覆蓋是指可執行路徑的集合中覆蓋有向圖中的所有狀態，所述轉移覆蓋是指可執行路徑的集合中覆蓋有向圖中的所有轉移，所述基本覆蓋是指采用深度優先遍歷算法生成的可執行路徑的集合，且每個狀態在路徑中只能執行一次。

簡單路徑覆蓋策略包括所述狀態覆蓋、所述轉移覆蓋和簡單路徑覆蓋；所述簡單路徑覆蓋是指采用深度優先遍歷算法生成的可執行路徑的集合，且每個轉移在路徑中只能執行一次。

7.如權利要求1～5任一項所述的方法，其特征在于，所述可執行測試路徑集合，包括如下至少一種集合：涵蓋指定狀態的可執行路徑的集合、涵蓋指定轉移的可執行路徑的集合、涵蓋指定分支的可執行路徑的集合、包含指定相鄰節點的可執行路徑的集合、以及包含指定節點優先關系的可執行路徑的集合。