海光信息技術股份有限公司王林吉獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！
龍圖騰網獲悉海光信息技術股份有限公司申請的專利生成驗證用例的方法及裝置獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114064478B 。
龍圖騰網通過國家知識產權局官網在2025-08-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202111357758.7，技術領域涉及：G06F11/3668；該發明授權生成驗證用例的方法及裝置是由王林吉設計研發完成，并于2021-11-16向國家知識產權局提交的專利申請。
本生成驗證用例的方法及裝置在說明書摘要公布了：本公開涉及一種生成驗證用例的方法、裝置、設備、計算機程序產品和計算機可讀存儲介質。所述方法包括：對于多個通用寄存器中的每個通用寄存器，利用第一加載指令為所述通用寄存器加載隨機值；在指令庫中隨機地每次獲取一條指令作為驗證指令，執行所述驗證指令，并根據所述驗證指令的執行結果判斷所述驗證指令是否適合用于所述驗證用例；根據適合用于所述驗證用例的驗證指令的執行結果，選擇所述第一加載指令中的至少一部分加載指令；利用所述至少一部分加載指令以及所述適合用于驗證用例的驗證指令，構造所述驗證用例。
本發明授權生成驗證用例的方法及裝置在權利要求書中公布了：1.一種生成驗證用例的方法，包括： 對于多個通用寄存器中的每個通用寄存器，利用第一加載指令為所述通用寄存器加載隨機值； 在指令庫中隨機地每次獲取一條指令作為驗證指令，執行所述驗證指令，并根據所述驗證指令的執行結果判斷所述驗證指令是否適合用于所述驗證用例，其中，所述判斷所述驗證指令是否適合用于所述驗證用例，包括：對于所述驗證指令，判斷所述驗證指令的執行結果是否出現異常；在所述驗證指令的執行結果出現異常的情況下，判斷所述異常是否是可消除的；在所述驗證指令的執行結果出現異常且所述異常是不可消除的情況下，判斷所述驗證指令不適合用于所述驗證用例； 根據適合用于所述驗證用例的驗證指令的執行結果，選擇所述第一加載指令中的至少一部分加載指令；以及 利用所述至少一部分加載指令以及所述適合用于驗證用例的驗證指令，構造所述驗證用例。
如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人海光信息技術股份有限公司，其通訊地址為：300392 天津市華苑產業區海泰西路18號北2-204工業孵化-3-8；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
免責聲明
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
開放平臺
擔保交易
惠及多方
會員特惠
專屬平臺
適合多方
數據共享
功能齊全
皖公網安備 34010402703815號