[發明專利]一種基于復合依賴關系覆蓋準則的EFSM測試方法有效
| 申請號： | 201810363831.3 | 申請日： | 2018-04-22 |
| 公開（公告）號： | CN108536606B | 公開（公告）日： | 2021-01-19 |
| 發明（設計）人： | 李征;史晶晶 | 申請（專利權）人： | 北京化工大學 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 北京思海天達知識產權代理有限公司 11203 | 代理人： | 沈波 |
| 地址： | 100029 *** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 基于 復合 依賴 關系 覆蓋 準則 efsm 測試 方法 | ||
本發明公開了一種基于復合依賴關系覆蓋準則的EFSM測試方法，屬于通信協議、嵌入式系統以及web應用測試等領域。本方法提出了基于復合依賴關系的覆蓋準則，結合EFSM模型中的新型控制依賴關系和數據依賴關系來指導測試路徑的生成。本方法涉及的測試方法分為復合依賴遷移對集合生成部分、遷移對沖突關系檢測及移除部分和測試路徑生成部分三個核心部分。相對于目前的基于數據流以及基于遷移或狀態覆蓋準則的測試方法，該方法解決了非終止模型的測試路徑生成問題，同時充分發揮了控制依賴與數據依賴的優勢，使得生成的EFSM路徑集可以更加有效得檢測錯誤，降低測試成本。
技術領域
本發明涉及一種基于復合依賴關系覆蓋準則的EFSM測試方法，屬于通信協議、嵌入式系統以及web應用測試等領域。
背景技術
擴展有限狀態機(ExtendedFinite State Machine，EFSM)具有很強的數據建模和行為建模能力，在通訊協議、嵌入式系統和web應用建模中具有廣泛的應用。擴展有限狀態機可以被表示成一個六元組M＝(S,s0,T,E,G,A)，其中而s0∈S表示初始狀態，T是所有遷移的集合，E是遷移上的事件event集合，G遷移上判斷條件guard的集合，A是所有操作action的集合。
測試覆蓋準則是軟件測試的核心，測試覆蓋準則定義了一個測試用例需求集，并且這個集合必須被一個完全的測試用例集覆蓋。測試覆蓋準則是為了找到一個能夠測試軟件每個部分的最小的測試用例集合。目前在EFSM模型上的測試覆蓋準則主要可以被分為三類：基于數據流的覆蓋準則，基于遷移或狀態的覆蓋準則以及隨機覆蓋準則。
發明內容
本發明的目的在于提出了一種基于復合依賴關系覆蓋準則的EFSM測試方法。該方法定義了結合控制依賴和數據依賴的復合依賴關系覆蓋準則，并基于該準則提出一種EFSM測試路徑生成方法，可以解決非終止EFSM測試路徑生成問題。
為實現上述目的，本發明采用的方案為一種基于復合依賴關系覆蓋準則的EFSM模型測試方法，將EFSM模型重要的控制依賴關系和數據依賴關系用作覆蓋準則來指導測試路徑的生成。本測試方法包括復合依賴遷移對集合生成、遷移對沖突關系檢測及移除和測試路徑生成三個核心部分：
第一、復合依賴遷移對集合生成：在EFSM模型中依據模型的終止性選擇新型的控制依賴關系，生成復合依賴遷移對集合；
第二、遷移對沖突關系檢測及移除：對復合依賴遷移對集合中兩個遷移上的變量進行分析，將條件沖突的遷移對從復合依賴遷移對集合中移除；
第三、測試路徑生成：利用深度優先遍歷的方法來生成滿足復合依賴關系覆蓋準則的測試路徑集，在路徑生成過程中，為更好的滿足復合依賴覆蓋準則，提出四條路徑生成規則。
以下分別對這三個部分進行詳細的描述。
第一、復合依賴遷移對集合生成：在EFSM模型中依據模型的終止性選擇新型的控制依賴關系，生成復合依賴遷移對集合；
根據EFSM模型的非終止性和非確定性，將控制依賴分為非終止敏感控制依賴(NTSCD)、非終止不敏感控制依賴(NTICD)，其中NTICD適用于終止EFSM模型，NTSCD適用于非終止模型，需要根據具體情況選擇合適的控制依賴關系。
依據控制依賴和數據依賴的關系生成的依賴遷移對之間存在交集，同時兩者又是非互相包含的，據此提出復合依賴關系覆蓋準則的定義：
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京化工大學，未經北京化工大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201810363831.3/2.html，轉載請聲明來源鉆瓜專利網。
