一種面向二進(jìn)制程序的模糊測(cè)試系統(tǒng)

基本信息

申請(qǐng)?zhí)?/td> CN202110875380.3 申請(qǐng)日 -
公開（公告）號(hào) CN114201383A 公開（公告）日 2022-03-18
申請(qǐng)公布號(hào) CN114201383A 申請(qǐng)公布日 2022-03-18
分類號(hào) G06F11/36（2006.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 馬銳;李斌斌;左磊;田東海;蔣瑾蔓;李家葶 申請(qǐng)（專利權(quán)）人 綠盟科技集團(tuán)股份有限公司
代理機(jī)構(gòu) 北京理工大學(xué)專利中心 代理人 仇蕾安
地址 100081北京市海淀區(qū)中關(guān)村南大街5號(hào)
法律狀態(tài) -

摘要

摘要 本發(fā)明提供一種面向二進(jìn)制程序的模糊測(cè)試系統(tǒng)，該系統(tǒng)主要包含三個(gè)模塊，分別是程序追蹤模塊、測(cè)試用例選擇模塊和測(cè)試用例變異模塊；程序追蹤模塊利用硬件程序追蹤技術(shù)獲得程序執(zhí)行特征和指令特征，用于測(cè)試用例的選擇和變異；測(cè)試用例選擇模塊根據(jù)測(cè)試用例特征維護(hù)一個(gè)優(yōu)先隊(duì)列，在測(cè)試用例選擇時(shí)根據(jù)其是否在優(yōu)先隊(duì)列中進(jìn)行概率性選擇；該測(cè)試用例特征包括測(cè)試用例自身特征、模糊測(cè)試執(zhí)行特征和硬件程序追蹤得到的指令特征；測(cè)試用例變異模塊根據(jù)測(cè)試用例特征確定其隨機(jī)變異時(shí)的變異能量。本發(fā)明解決了目前大多數(shù)模糊測(cè)試存在的不支持對(duì)二進(jìn)制程序測(cè)試或測(cè)試效果不佳、對(duì)測(cè)試過程中產(chǎn)生的有效信息利用不足的問題。