[發明專利]一種基于SysML模塊圖的集成測試序列生成方法

有效

• 申請號: 201610003625.2
• 申請日: 2016-01-05
• 公開（公告）號: CN105677563B
• 公開（公告）日: 2018-08-14
• 發明（設計）人: 舒堅;鄭春;楊豐玉;樊鑫;胡正;鄭巍
• 申請（專利權）人: 南昌航空大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南昌洪達專利事務所 36111
• 代理人: 劉凌峰

1.一種基于SysML模塊圖的集成測試序列生成方法，其特征在于，依據嵌入式系統邏輯上的功能組合關系提出一種集成測試策略；然后以覆蓋準則為導向，自動生成集成測試序列集；

所述集成測試策略包括：

先約束再組合：在嵌入式系統中，若模塊與其他模塊之間具有數據交換，那么先對具有數據交換關系的模塊進行集成測試，否則將模塊與上層模塊進行集成測試；

所述基于SysML模塊圖的集成測試序列生成方法包括以下具體步驟：

(1)分析待測嵌入式軟件系統的需求和設計，繪制SysML模塊圖，建立一個基于元數據交換的可擴展標記語言XML文件；

(2)解析XML文件，提取模塊圖中的模塊、關聯、依賴、交互基本元素；

(3)對解析出SysML模塊圖進行元素缺失、一致性檢測，保證SysML模塊圖的完整性和一致性；

(4)將SysML模塊圖轉換成有向圖；

(5)以測試覆蓋準則為導向，遍歷中間模型，自動生成集成測試序列集；

(6)輸出分析報告和日志信息。

2.根據權利要求1所述的基于SysML模塊圖的集成測試序列生成方法，其特征在于，所述SysML模塊圖包括：SysML模塊定義圖和SysML內部模塊圖。

3.根據權利要求1所述的基于SysML模塊圖的集成測試序列生成方法，其特征在于，所述覆蓋準則包括：

相關模塊分支覆蓋準則：若集合t滿足相關模塊分支覆蓋準則且t是一組分支覆蓋的真值，t所包含的真值組合分別使得主要分支覆蓋B取真假各一次，且每個模塊覆蓋M取不同的真值，那么，集合t滿足相關模塊分支覆蓋準則；

關鍵模塊覆蓋準則：若存在集合t＝{A,B}，當且僅當A為一個或若干個模塊，B為與A相鄰的關鍵程度最高的模塊，則集合t滿足關鍵模塊覆蓋準則。

4.根據權利要求3所述的基于SysML模塊圖的集成測試序列生成方法，其特征在于，主要分支覆蓋為在其他分支覆蓋的真值不變的情況下，其真值的變化會造成模塊覆蓋真值的變化。

5.根據權利要求3或4所述的基于SysML模塊圖的集成測試序列生成方法，其特征在于，所述的模塊覆蓋為當前模塊被測情況，若當前模塊所包含的模塊都被測完，則真值為1，否則為0。

6.根據權利要求3所述的基于SysML模塊圖的集成測試序列生成方法，其特征在于，其特征在于，所述的關鍵程度為在SysML內部模塊圖中模塊的度。