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

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

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

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

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

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