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

龍圖騰網(wǎng)獲悉海光信息技術(shù)股份有限公司申請(qǐng)的專利生成驗(yàn)證用例的方法及裝置獲國(guó)家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國(guó)家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN114064478B 。

龍圖騰網(wǎng)通過(guò)國(guó)家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-08-29發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202111357758.7，技術(shù)領(lǐng)域涉及：G06F11/3668；該發(fā)明授權(quán)生成驗(yàn)證用例的方法及裝置是由王林吉設(shè)計(jì)研發(fā)完成，并于2021-11-16向國(guó)家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本生成驗(yàn)證用例的方法及裝置在說(shuō)明書(shū)摘要公布了：本公開(kāi)涉及一種生成驗(yàn)證用例的方法、裝置、設(shè)備、計(jì)算機(jī)程序產(chǎn)品和計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)。所述方法包括：對(duì)于多個(gè)通用寄存器中的每個(gè)通用寄存器，利用第一加載指令為所述通用寄存器加載隨機(jī)值；在指令庫(kù)中隨機(jī)地每次獲取一條指令作為驗(yàn)證指令，執(zhí)行所述驗(yàn)證指令，并根據(jù)所述驗(yàn)證指令的執(zhí)行結(jié)果判斷所述驗(yàn)證指令是否適合用于所述驗(yàn)證用例；根據(jù)適合用于所述驗(yàn)證用例的驗(yàn)證指令的執(zhí)行結(jié)果，選擇所述第一加載指令中的至少一部分加載指令；利用所述至少一部分加載指令以及所述適合用于驗(yàn)證用例的驗(yàn)證指令，構(gòu)造所述驗(yàn)證用例。

本發(fā)明授權(quán)生成驗(yàn)證用例的方法及裝置在權(quán)利要求書(shū)中公布了：1.一種生成驗(yàn)證用例的方法，包括： 對(duì)于多個(gè)通用寄存器中的每個(gè)通用寄存器，利用第一加載指令為所述通用寄存器加載隨機(jī)值； 在指令庫(kù)中隨機(jī)地每次獲取一條指令作為驗(yàn)證指令，執(zhí)行所述驗(yàn)證指令，并根據(jù)所述驗(yàn)證指令的執(zhí)行結(jié)果判斷所述驗(yàn)證指令是否適合用于所述驗(yàn)證用例，其中，所述判斷所述驗(yàn)證指令是否適合用于所述驗(yàn)證用例，包括：對(duì)于所述驗(yàn)證指令，判斷所述驗(yàn)證指令的執(zhí)行結(jié)果是否出現(xiàn)異常；在所述驗(yàn)證指令的執(zhí)行結(jié)果出現(xiàn)異常的情況下，判斷所述異常是否是可消除的；在所述驗(yàn)證指令的執(zhí)行結(jié)果出現(xiàn)異常且所述異常是不可消除的情況下，判斷所述驗(yàn)證指令不適合用于所述驗(yàn)證用例； 根據(jù)適合用于所述驗(yàn)證用例的驗(yàn)證指令的執(zhí)行結(jié)果，選擇所述第一加載指令中的至少一部分加載指令；以及 利用所述至少一部分加載指令以及所述適合用于驗(yàn)證用例的驗(yàn)證指令，構(gòu)造所述驗(yàn)證用例。

如需購(gòu)買(mǎi)、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人海光信息技術(shù)股份有限公司，其通訊地址為：300392 天津市華苑產(chǎn)業(yè)區(qū)海泰西路18號(hào)北2-204工業(yè)孵化-3-8；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。