買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜北京航空航天大學;北京空間飛行器總體設計部申請的專利一種基于模型的航天器控制器軟件測試用例自動生成方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114328188B 。

龍圖騰網通過國家知識產權局官網在2025-05-27發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202111506160.X，技術領域涉及：G06F11/3668；該發明授權一種基于模型的航天器控制器軟件測試用例自動生成方法是由殷蓓蓓;田野;張雷;鄭征;孫波;李志棟設計研發完成，并于2021-12-10向國家知識產權局提交的專利申請。

本一種基于模型的航天器控制器軟件測試用例自動生成方法在說明書摘要公布了：本發明公開一種基于模型的航天器控制器軟件測試用例自動生成方法，包括：1、空間飛行器測試需求形式化建模，用UML狀態圖對測試需求中航天器的狀態以及其轉換進行建模得到標準模型；2、對標準模型預處理，將狀態圖中包含的測試信息轉換成有向圖存儲；3、通過有向圖可得到不同的覆蓋準則下的測試路徑；4、對每一條測試路徑劃分系統輸入輸出，并對該路徑的輸入空間進行等價類劃分。5、對每一個等價類進行賦值操作，得到該邏輯序列上的具體測試用例的序列。本發明解決了航天器軟件需求缺乏統一描述方式的缺點；解決目前測試過程中測試場景的設計完全依賴測試人員經驗，無法保障設計的測試場景有效覆蓋自主功能全部需求的缺點。

本發明授權一種基于模型的航天器控制器軟件測試用例自動生成方法在權利要求書中公布了：1.一種基于模型的航天器控制器軟件測試用例自動生成方法，其特征在于：該方法包括以下步驟：步驟1、空間飛行器測試需求形式化建模，在統一規定的規則下，使用UML狀態圖對測試需求中航天器的狀態以及其轉換進行建模，即完成狀態圖的構建，得到無二義性的標準模型；其中，復雜的工作模式中包含其他的子工作模式，則使用復合狀態圖來表示；步驟2、對上述標準模型的預處理，將狀態圖中包含的測試信息，轉換成一個有向圖進行存儲；其中，所述的復合狀態圖中包含層次信息，所以需要根據航天器自身的特點對所述復合狀態圖進行展平；步驟3、通過步驟2中得到的有向圖，從中得到不同的覆蓋準則下的測試路徑——有向圖中每一條從起始結點到終止結點的由結點和邊組成的路徑，都代表航天器軟件測試的一條測試路徑；步驟4、對步驟3得到的每一條測試路徑劃分系統的輸入輸出，并對該路徑上的輸入空間進行等價類劃分；該步驟將在任意一條測試路徑上生成不同的邏輯序列，這些邏輯序列在邏輯上對該任意一條測試路徑的轉移條件進行充分的覆蓋；步驟5、對步驟4得到的每一個等價類，進行賦值操作，得到該邏輯序列上的具體的測試用例的序列，其中測試用例包含測試輸入以及軟件預期輸出；其中，步驟2對所述復合狀態圖進行展平，具體過程如下：對于某復合狀態sc，有以下的符號規定：復合狀態內部的起始狀態為sc-I，含有n個子狀態sci，1≤i≤n，其中起始狀態所連接的子狀態為sc1；所述展平的原則是：a一個進入復合狀態sc的轉移t，其源狀態為s1，目標狀態可能是復合狀態sc或者其子狀態sci；如果所述轉移t的目標狀態是復合狀態sc，則在展平后將產生由其源狀態s1到起始狀態所連接的子狀態sc1的一條新轉移t′；如果所述轉移t的目標狀態是子狀態sci，則在展平后將產生由其源狀態s1到子狀態sci的一條新轉移t″；然后刪去原轉移t，并將復合狀態的entry動作添加為新轉移t′或t″的轉移動作；b一個離開復合狀態sc的轉移T,其目標狀態為s2，其源狀態可能是復合狀態sc或者其子狀態sci；如果所述轉移T的源狀態是sc,則展開后將產生n條由其所有子狀態sci到達目標狀態s2的新轉移Ti，1≤i≤n；如果所述轉移T的源狀態是子狀態sci,那么展開后產生一條從該子狀態sci到達目標狀態s2的新轉移T′；然后刪去原轉移T，并將復合狀態的exit動作添加為新轉移Ti或者T′的轉移動作；c復合狀態里的起始狀態在展平時刪除；d展平后，將復合狀態sc的do事件變為每個子狀態的do事件。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人北京航空航天大學;北京空間飛行器總體設計部，其通訊地址為：100191 北京市海淀區學院路37號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。