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

龍圖騰網恭喜株洲中車時代電氣股份有限公司申請的專利測試用例生成方法、設備和存儲介質獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114201381B 。

龍圖騰網通過國家知識產權局官網在2025-04-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202010912176.X，技術領域涉及：G06F11/3668；該發明授權測試用例生成方法、設備和存儲介質是由李寧;徐紹龍;王雨;廖亮;王飛;王興安;蔣明睿;吳斐;童金剛設計研發完成，并于2020-09-02向國家知識產權局提交的專利申請。

本測試用例生成方法、設備和存儲介質在說明書摘要公布了：本發明公開了一種測試用例生成方法、設備和存儲介質，包括：根據軟件需求規格，建立有限狀態機模型和基于類功能塊圖語言的功能塊圖模型；根據功能塊圖模型的生效狀態，在有限狀態機模型中選取一個軟件運行的狀態作為功能塊圖模型的前置狀態；根據預設的轉換規則，將功能塊圖模型轉換為描述軟件運行的狀態變化過程的轉換有限狀態機模型，并根據功能塊圖模型的前置狀態，將轉換有限狀態機模型與有限狀態機模型進行關聯，得到目標有限狀態機模型；基于目標有限狀態機模型，采用預設的遍歷算法，將每一條路徑生成一條測試用例，既能夠準確全面地描述軟件的運行過程狀態，又能夠準確描述軟件輸入輸出之間的邏輯關系，提高了生成的測試用例準確性。

本發明授權測試用例生成方法、設備和存儲介質在權利要求書中公布了：1.一種測試用例生成方法，其特征在于，包括：根據軟件需求規格中的所有軟件運行的狀態和不同軟件運行的狀態之間轉換的觸發條件，建立有限狀態機模型；根據軟件需求規格中的輸入輸出、輸入與輸出之間的邏輯關系、所有輸入之間的約束關系，建立基于類功能塊圖語言的功能塊圖模型；根據所述功能塊圖模型的生效狀態，在所述有限狀態機模型中選取一個軟件運行的狀態作為所述功能塊圖模型的前置狀態；根據預設的轉換規則，將功能塊圖模型轉換為描述軟件運行的狀態變化過程的轉換有限狀態機模型，并根據所述功能塊圖模型的前置狀態，將所述轉換有限狀態機模型與所述有限狀態機模型進行關聯，得到目標有限狀態機模型；基于所述目標有限狀態機模型，采用預設的遍歷算法，將每一條路徑生成一條測試用例；所述功能塊圖模型包括輸入模型元素、輸出模型元素和功能模型元素；所述功能模型元素用于描述所述輸入模型元素與所述輸出模型元素之間邏輯關系；根據預設的轉換規則，將功能塊圖模型轉換為描述軟件運行的狀態變化過程的轉換有限狀態機模型，包括：以所述功能塊圖模型的前置狀態為初始狀態，對所述功能塊圖模型中與每個輸出模型元素存在連接關系的一組功能模型元素進行求解，得到該組功能模型元素的入口狀態；其中，所述連接關系包括直接連接和或間接連結；根據預設的轉換規則，將每個功能模型元素轉換為對應的展開有限狀態機模型；針對每個所述展開有限狀態機模型的每一個轉換和狀態，求解滿足期望的輸入變量和輸出變量的數據組合，以得到對應的過程有限狀態機模型；對所有過程有限狀態機模型進行重組處理，以得到所述轉換有限狀態機模型。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人株洲中車時代電氣股份有限公司，其通訊地址為：412001 湖南省株洲市石峰區時代路169號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。