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

龍圖騰網獲悉成都信息工程大學申請的專利一種基于LLM與SMT求解器的測試用例生成方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN120492357B 。

龍圖騰網通過國家知識產權局官網在2025-09-12發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510940877.7，技術領域涉及：G06F11/3668；該發明授權一種基于LLM與SMT求解器的測試用例生成方法是由白崧言;高琳;李飛設計研發完成，并于2025-07-09向國家知識產權局提交的專利申請。

本一種基于LLM與SMT求解器的測試用例生成方法在說明書摘要公布了：本發明涉及軟件測試技術領域，公開了一種基于LLM與SMT求解器的測試用例生成方法，通過以搜索型測試為核心驅動，在出現覆蓋停滯時，借助LLM對執行路徑進行語義分析，并生成描述目標路徑條件的邏輯表達式，考慮到LLM在邏輯推理上的局限性，系統進一步引入SMT解器對LLM輸出的邏輯表達式進行校驗與推理，最終生成可行的測試輸入，提升測試效率與覆蓋率。整個過程形成一個語義理解與邏輯求解協同的閉環優化流程該方法不僅提升了路徑覆蓋的效率與精度，還具備良好的適配性與通用性，適用于多種語言和復雜程序結構，有效提高了自動化測試的智能化水平與工程實用價值。有效緩解了大語言模型在復雜路徑約束推理中的準確性不足問題。

本發明授權一種基于LLM與SMT求解器的測試用例生成方法在權利要求書中公布了：1.一種基于LLM與SMT求解器的測試用例生成方法，其特征在于，所述方法包括以下步驟： S1：在利用SBST生成測試用例的過程中，當系統在每一輪測試用例執行完成后，執行覆蓋停滯檢測； S2：根據覆蓋停滯檢測結果中的未覆蓋分支，執行靜態路徑分析，結合CFG和廣度優先算法，搜索從程序開始節點到未覆蓋分支的最短路徑，捕捉路徑構造過程中的分支關聯信息； S3：利用LLM，基于所述最短路徑的路徑信息和所述分支關聯信息封裝的結構化輸入，生成能夠觸發最短路徑對應分支的SMT-LIB表達式； S4：利用SMT求解器對LLM輸出的SMT-LIB表達式進行求解，根據求解結果，生成新的測試用例； 其中，步驟S4，具體包括： S41：利用SMT求解器對LLM輸出的SMT-LIB表達式進行求解，校驗SMT-LIB表達式是否可滿足，若是，返回SMT-LIB表達式中的具體變量賦值作為測試數據，利用所述測試數據生成新的測試用例； S42：若否，返回步驟S3，利用LLM對生成的SMT-LIB表達式進行優化，重新利用SMT求解器對LLM輸出的SMT-LIB表達式進行求解； 其中，步驟S42，具體包括： S421：當SMT-LIB表達式在SMT求解器中運行報錯時，將錯誤信息作為反饋返回給LLM，以使LLM對生成SMT-LIB表達式進行優化，修復SMT-LIB表達式中的格式錯誤、未聲明變量或邏輯沖突； S422：重新利用SMT求解器對LLM輸出的SMT-LIB表達式進行求解； S423：當SMT在SMT求解器中運行正常但生成的測試用例未能觸達目標分支時，基于當前的SMT-LIB表達式與路徑覆蓋信息以及SMT求解器返回的變量賦值結果，生成用于指導LLM優化SMT-LIB表達式的結構化輸入； S434：利用LLM基于所述結構化輸入針對未能觸達目標分支對生成的SMT-LIB表達式進行優化，重新利用SMT求解器對LLM輸出的SMT-LIB表達式進行求解。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人成都信息工程大學，其通訊地址為：610225 四川省成都市西南航空港經濟開發區學府路1段24號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。