[發明專利]覆蓋率驅動的隨機驗證的方法有效
| 申請號： | 201010607224.0 | 申請日： | 2010-12-27 |
| 公開（公告）號： | CN102542088A | 公開（公告）日： | 2012-07-04 |
| 發明（設計）人： | 陳濤 | 申請（專利權）人： | 北京國睿中數科技股份有限公司 |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50 |
| 代理公司： | 中國專利代理(香港)有限公司 72001 | 代理人： | 曲寶壯;王洪斌 |
| 地址： | 100088 北京市海*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 覆蓋率 驅動 隨機 驗證 方法 | ||
1.?一種利用至少兩個計算單元進行覆蓋率驅動的隨機驗證的方法，所述至少兩個計算單元包括第一計算單元和第二計算單元，所述第一計算單元具有第一覆蓋率數據庫，所述第二計算單元具有第二覆蓋率數據庫，所述方法包括：
所述第一計算單元啟動第一隨機驗證，并將第一隨機驗證產生的第一覆蓋率數據寫入第一覆蓋率數據庫，
所述第二計算單元啟動第二隨機驗證，并將第二隨機驗證產生的第二覆蓋率數據寫入第二覆蓋率數據庫，
將第一覆蓋率數據庫的第一覆蓋率數據和第二覆蓋率數據庫的第二覆蓋率數據寫入總覆蓋率數據庫，
對總覆蓋率數據庫中的第一覆蓋率數據和第二覆蓋率數據進行融合，得到融合的覆蓋率數據，
將融合的覆蓋率數據寫入第一覆蓋率數據庫和第二覆蓋率數據庫。
2.?根據權利要求1所述的方法，其中，
所述第一計算單元使用第一隨機激勵啟動第一隨機驗證，所述第二計算單元使用第二隨機激勵啟動第二隨機驗證，所述第一隨機激勵與所述第二隨機激勵不同。
3.?根據權利要求2所述的方法，其中，所述第一計算單元根據融合的覆蓋率數據調整第一隨機激勵，所述第二計算單元根據融合的覆蓋率數據調整第二隨機激勵。
4.?根據權利要求3所述的方法，其中調整第一隨機激勵包括改變第一激勵或者調整指令的權重。
5.?根據權利要求1-4中任一項所述的方法，還包括使用第三計算單元根據融合的覆蓋率數據進行第三隨機驗證。
6.?根據權利要求1-4中任一項所述的方法，其中總覆蓋率數據庫位于與第一和第二計算單元連接的中心計算單元。
7.?根據權利要求1-4中任一項所述的方法，其中總覆蓋率數據庫位于第一或第二計算單元。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京國睿中數科技股份有限公司，未經北京國睿中數科技股份有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201010607224.0/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：一種常溫貯藏干酪食品的加工方法
- 下一篇：食品隧道冷卻裝置
