[發明專利]隨機測試程序生成方法和系統以及設計驗證方法有效
| 申請號: | 200910083767.4 | 申請日: | 2009-05-11 |
| 公開(公告)號: | CN101551749A | 公開(公告)日: | 2009-10-07 |
| 發明(設計)人: | 王玲;沈海華;李潮激 | 申請(專利權)人: | 中國科學院計算技術研究所 |
| 主分類號: | G06F9/44 | 分類號: | G06F9/44;G06F17/50 |
| 代理公司: | 北京泛華偉業知識產權代理有限公司 | 代理人: | 王 勇;姜 華 |
| 地址: | 100190北京*** | 國省代碼: | 北京;11 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 隨機 測試 程序 生成 方法 系統 以及 設計 驗證 | ||
1.一種用于微處理器的指令級功能驗證的隨機測試程序生成方法,包 括下列步驟:
1)編寫并解析指令模板,并構建約束網絡;
2)用小桶間的相容度計算小桶的計數函數,其中:
根據公式生成桶bucketp中的小桶bucketpi的初始計 數函數其中1≤p≤桶個數,1≤i≤桶bucketp中小桶個數t,Xp是所述桶bucketp中的隨機變量,Nl是分到所述小桶bucketpi的計數函數或約束條件, 1≤l≤小桶bucketpi中的計數函數和約束條件個數;
根據
根據計算所述小桶bucketpi的計數函數并把所 述計數函數分到Spi中序號數最大的隨機變量對應的小桶中;
3)基于所述計數函數根據所述約束網絡來計算隨機變量的隨機解;
4)利用所述隨機解設置指令的操作數,生成由所述指令構成的隨機 測試程序。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于中國科學院計算技術研究所,未經中國科學院計算技術研究所許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/200910083767.4/1.html,轉載請聲明來源鉆瓜專利網。





