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

龍圖騰網(wǎng)獲悉無錫江南計(jì)算技術(shù)研究所申請的專利一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法及裝置獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN115687154B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-09-09發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202211487167.6，技術(shù)領(lǐng)域涉及：G06F11/3668；該發(fā)明授權(quán)一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法及裝置是由王麗一;武穎穎;胡夏暉;尉紅梅;姜軍;吳偉設(shè)計(jì)研發(fā)完成，并于2022-11-25向國家知識產(chǎn)權(quán)局提交的專利申請。

本一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法及裝置在說明書摘要公布了：本發(fā)明提供一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法及裝置，屬于C程序測試技術(shù)領(lǐng)域。該方法包括如下步驟：S1：獲取預(yù)設(shè)概率信息表，通過預(yù)設(shè)概率信息表獲取預(yù)設(shè)參數(shù)；S2：生成器根據(jù)預(yù)設(shè)參數(shù)進(jìn)行初始化；S3：生成器基于初始化信息生成包括main函數(shù)、變量類型、其他函數(shù)的測試用例程序，在生成main函數(shù)時輸出測試用例程序的輔助信息；S4：過濾器對生成的程序片段進(jìn)行安全檢查；S5：生成器在過濾器對所有程序片段檢查完畢后整理并輸出生成的測試用例程序，并根據(jù)生成的測試用例程序計(jì)算非指針全局變量的校驗(yàn)和，并打印校驗(yàn)和。本發(fā)明自動生成大量測試用例，可以高效地暴露更多的問題，并且可根據(jù)輸入進(jìn)行定制化操作，節(jié)省人力成本。

本發(fā)明授權(quán)一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法及裝置在權(quán)利要求書中公布了：1.一種基于Csmith隨機(jī)生成器生成C程序測試用例的方法，其特征在于，包括如下步驟： S1：獲取預(yù)設(shè)概率信息表，通過預(yù)設(shè)概率信息表獲取預(yù)設(shè)參數(shù)； S2：生成器根據(jù)預(yù)設(shè)參數(shù)進(jìn)行初始化； S3：生成器基于初始化信息生成包括main函數(shù)、變量類型、其他函數(shù)的測試用例程序，在生成main函數(shù)時輸出測試用例程序的輔助信息； S4：過濾器對生成的程序片段進(jìn)行安全檢查； S5：生成器在過濾器對所有程序片段檢查完畢后整理并輸出生成的測試用例程序，并根據(jù)生成的測試用例程序計(jì)算非指針全局變量的校驗(yàn)和，并打印校驗(yàn)和； 步驟S1中具體包括： S11：獲取概率信息表的所有屬性值； S12：根據(jù)歷史數(shù)據(jù)對能高效生成測試用例的屬性值進(jìn)行標(biāo)記； S13：對標(biāo)記的屬性值進(jìn)行聚類分析獲取預(yù)設(shè)概率信息表； S14：判斷是否接收到輸入的用戶參數(shù)，如果判斷未接收到用戶參數(shù)，則將預(yù)設(shè)概率信息表中的屬性值作為預(yù)設(shè)參數(shù)，如果判斷接收到用戶參數(shù)，則通過預(yù)設(shè)概率信息表對用戶參數(shù)進(jìn)行比對； S15：如果用戶參數(shù)中包括預(yù)設(shè)概率信息表中的所有屬性值，則將用戶參數(shù)作為預(yù)設(shè)參數(shù)，如果用戶參數(shù)不包括預(yù)設(shè)概率信息表中的所有屬性值，則輸出輸入?yún)?shù)錯誤。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人無錫江南計(jì)算技術(shù)研究所，其通訊地址為：214100 江蘇省無錫市濱湖區(qū)山水東路188號；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。