北京愛芯科技有限公司索健獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉北京愛芯科技有限公司申請的專利驗證策略的確定方法、裝置、電子設備及存儲介質獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN113962068B 。
龍圖騰網通過國家知識產權局官網在2025-08-08發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202111177298.X,技術領域涉及:G06F30/20;該發明授權驗證策略的確定方法、裝置、電子設備及存儲介質是由索健;王正設計研發完成,并于2021-10-09向國家知識產權局提交的專利申請。
本驗證策略的確定方法、裝置、電子設備及存儲介質在說明書摘要公布了:本申請提供一種驗證策略的確定方法、裝置、電子設備和存儲介質,其中,方法包括:獲取候選驗證策略,其中,所述候選驗證策略中包括模擬待驗證代碼的每一項待驗證特性;基于所述候選驗證策略運行所述模擬待驗證代碼,對所述候選驗證策略中的所述每一項待驗證特性進行驗證,并生成驗證覆蓋報告;根據所述驗證覆蓋報告對所述候選驗證策略進行反向標記,以獲取所述每一項待驗證特性的已驗證覆蓋率;基于所述每一項待驗證特性的所述已驗證覆蓋率,生成目標驗證策略。本申請中,將驗證覆蓋報告反向標記至候選驗證策略,使得驗證結果更加直觀的呈現,有效實現對候選驗證策略的優化調整,提高了候選驗證策略的調整效率,優化了目標驗證策略的質量。
本發明授權驗證策略的確定方法、裝置、電子設備及存儲介質在權利要求書中公布了:1.一種驗證策略的確定方法,其特征在于,包括: 獲取候選驗證策略,其中,所述候選驗證策略中包括模擬待驗證代碼的每一項待驗證特性; 基于所述候選驗證策略運行所述模擬待驗證代碼,對所述候選驗證策略中的所述每一項待驗證特性進行驗證,并生成驗證覆蓋報告; 根據所述驗證覆蓋報告對所述候選驗證策略進行反向標記,以獲取所述每一項待驗證特性的已驗證覆蓋率; 基于所述每一項待驗證特性的所述已驗證覆蓋率,生成目標驗證策略; 所述根據所述驗證覆蓋報告對所述候選驗證策略進行反向標記,以獲取所述每一項待驗證特性的已驗證覆蓋率,包括: 從所述驗證覆蓋報告中,獲取所述每一項待驗證特性下已經被驗證的性能第一標識信息和對應的已驗證性能,其中,通過所述第一標識信息實現對于已經被驗證的性能的查找和標記; 從所述候選驗證策略中,獲取所述每一項待驗證特性下全部的待驗證性能的第二標識信息; 將所述第一標識信息與第二標識信息匹配,將所述已驗證性能反向標記至所述每一項待驗證特性下; 獲取所述每一項待驗證特性下的未驗證性能,基于所述已驗證性能和所述未驗證性能,生成所述每一項待驗證特性的所述已驗證覆蓋率。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人北京愛芯科技有限公司,其通訊地址為:100190 北京市海淀區中關村大街1號16層1605;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。