[發(fā)明專利]隨機測試程序生成方法和系統(tǒng)以及設計驗證方法

有效

• 申請?zhí)枺?/td>: 200910083767.4
• 申請日: 2009-05-11
• 公開（公告）號: CN101551749A
• 公開（公告）日: 2009-10-07
• 發(fā)明（設計）人: 王玲;沈海華;李潮激
• 申請（專利權）人: 中國科學院計算技術研究所
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F17/50
• 代理公司: 北京泛華偉業(yè)知識產(chǎn)權代理有限公司
• 代理人: 王 勇;姜 華

1.一種用于微處理器的指令級功能驗證的隨機測試程序生成方法，包 括下列步驟：

1)編寫并解析指令模板，并構建約束網(wǎng)絡；

2)用小桶間的相容度計算小桶的計數(shù)函數(shù)，其中：

根據(jù)公式生成桶bucket_p中的小桶bucket_pi的初始計 數(shù)函數(shù)其中1≤p≤桶個數(shù)，1≤i≤桶bucket_p中小桶個數(shù)t，X_p是所述桶bucket_p中的隨機變量，N_l是分到所述小桶bucket_pi的計數(shù)函數(shù)或約束條件， 1≤l≤小桶bucket_pi中的計數(shù)函數(shù)和約束條件個數(shù)；

根據(jù)ρi=Πj≠itΣs∈Spjmin(Njp*(s),1)|Spj|]]>估算在所述小桶bucket_pi中對變量 X_p取不同值時所述小桶bucket_pi與所述桶bucket_p中其它小桶bucket_pj的相容 度ρ_i，其中1≤j≤小桶個數(shù)t，S_pj為所述小桶bucket_pj中除X_p外的隨機變量集 合，s表示S_pj中的變量，表示小桶bucket_pj的計數(shù)函數(shù)；

根據(jù)計算所述小桶bucket_pi的計數(shù)函數(shù)并把所 述計數(shù)函數(shù)分到S_pi中序號數(shù)最大的隨機變量對應的小桶中；

3)基于所述計數(shù)函數(shù)根據(jù)所述約束網(wǎng)絡來計算隨機變量的隨機解；

4)利用所述隨機解設置指令的操作數(shù)，生成由所述指令構成的隨機 測試程序。