[發明專利]隨機測試程序生成方法和系統以及設計驗證方法

有效

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

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

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

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

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

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

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

3)基于所述計數函數根據所述約束網絡來計算隨機變量的隨機解；

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