一種用于微處理器功能驗(yàn)證的測(cè)試程序生成方法及裝置

基本信息

申請(qǐng)?zhí)?/td> CN201010201216.6 申請(qǐng)日 -
公開（公告）號(hào) CN101894063B 公開（公告）日 2012-09-26
申請(qǐng)公布號(hào) CN101894063B 申請(qǐng)公布日 2012-09-26
分類號(hào) G06F11/26(2006.01)I;G06F11/36(2006.01)I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 程旭;佟冬;張良 申請(qǐng)（專利權(quán)）人 濟(jì)南眾志信息技術(shù)有限公司
代理機(jī)構(gòu) 北京安信方達(dá)知識(shí)產(chǎn)權(quán)代理有限公司 代理人 北京北大眾志微系統(tǒng)科技有限責(zé)任公司;濟(jì)南眾志信息技術(shù)有限公司;北京大學(xué);北京眾志芯科技有限公司
地址 100080 北京市海淀區(qū)中關(guān)村北大街151號(hào)資源大廈11層
法律狀態(tài) -

摘要

摘要 一種用于微處理器功能驗(yàn)證的測(cè)試程序生成方法及裝置；方法包括：A、隨機(jī)生成μ+λ個(gè)個(gè)體并保存成原始生成種群；將所述原始生成種群作為當(dāng)前種群；B、結(jié)合指令庫(kù)，將當(dāng)前種群中的個(gè)體轉(zhuǎn)化為測(cè)試程序；C、仿真執(zhí)行當(dāng)前種群中的各個(gè)體轉(zhuǎn)化得到的測(cè)試程序，生成功能覆蓋報(bào)告；D、如果當(dāng)前種群是原始生成種群，則直接進(jìn)行步驟E；否則選擇當(dāng)前種群中的個(gè)體進(jìn)行λ次交叉、變異操作，產(chǎn)生的新個(gè)體也保存進(jìn)當(dāng)前種群，然后進(jìn)行步驟E；E、根據(jù)功能覆蓋報(bào)告，從當(dāng)前種群中選出至少μ個(gè)個(gè)體作為新一代種群；F、如果滿足停止條件，則輸出該新一代種群中個(gè)體對(duì)應(yīng)的測(cè)試程序集；否則將該新一代種群作為當(dāng)前種群，返回步驟B。