[發(fā)明專利]覆蓋率驅(qū)動的隨機(jī)驗(yàn)證的方法

有效

• 申請?zhí)枺?/td>: 201010607224.0
• 申請日: 2010-12-27
• 公開（公告）號: CN102542088A
• 公開（公告）日: 2012-07-04
• 發(fā)明（設(shè)計(jì)）人: 陳濤
• 申請（專利權(quán)）人: 北京國睿中數(shù)科技股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 曲寶壯;王洪斌

1.?一種利用至少兩個計(jì)算單元進(jìn)行覆蓋率驅(qū)動的隨機(jī)驗(yàn)證的方法，所述至少兩個計(jì)算單元包括第一計(jì)算單元和第二計(jì)算單元，所述第一計(jì)算單元具有第一覆蓋率數(shù)據(jù)庫，所述第二計(jì)算單元具有第二覆蓋率數(shù)據(jù)庫，所述方法包括：

所述第一計(jì)算單元啟動第一隨機(jī)驗(yàn)證，并將第一隨機(jī)驗(yàn)證產(chǎn)生的第一覆蓋率數(shù)據(jù)寫入第一覆蓋率數(shù)據(jù)庫，

所述第二計(jì)算單元啟動第二隨機(jī)驗(yàn)證，并將第二隨機(jī)驗(yàn)證產(chǎn)生的第二覆蓋率數(shù)據(jù)寫入第二覆蓋率數(shù)據(jù)庫，

將第一覆蓋率數(shù)據(jù)庫的第一覆蓋率數(shù)據(jù)和第二覆蓋率數(shù)據(jù)庫的第二覆蓋率數(shù)據(jù)寫入總覆蓋率數(shù)據(jù)庫，

對總覆蓋率數(shù)據(jù)庫中的第一覆蓋率數(shù)據(jù)和第二覆蓋率數(shù)據(jù)進(jìn)行融合，得到融合的覆蓋率數(shù)據(jù)，

將融合的覆蓋率數(shù)據(jù)寫入第一覆蓋率數(shù)據(jù)庫和第二覆蓋率數(shù)據(jù)庫。

2.?根據(jù)權(quán)利要求1所述的方法，其中，

所述第一計(jì)算單元使用第一隨機(jī)激勵啟動第一隨機(jī)驗(yàn)證，所述第二計(jì)算單元使用第二隨機(jī)激勵啟動第二隨機(jī)驗(yàn)證，所述第一隨機(jī)激勵與所述第二隨機(jī)激勵不同。

3.?根據(jù)權(quán)利要求2所述的方法，其中，所述第一計(jì)算單元根據(jù)融合的覆蓋率數(shù)據(jù)調(diào)整第一隨機(jī)激勵，所述第二計(jì)算單元根據(jù)融合的覆蓋率數(shù)據(jù)調(diào)整第二隨機(jī)激勵。

4.?根據(jù)權(quán)利要求3所述的方法，其中調(diào)整第一隨機(jī)激勵包括改變第一激勵或者調(diào)整指令的權(quán)重。

5.?根據(jù)權(quán)利要求1-4中任一項(xiàng)所述的方法，還包括使用第三計(jì)算單元根據(jù)融合的覆蓋率數(shù)據(jù)進(jìn)行第三隨機(jī)驗(yàn)證。

6.?根據(jù)權(quán)利要求1-4中任一項(xiàng)所述的方法，其中總覆蓋率數(shù)據(jù)庫位于與第一和第二計(jì)算單元連接的中心計(jì)算單元。

7.?根據(jù)權(quán)利要求1-4中任一項(xiàng)所述的方法，其中總覆蓋率數(shù)據(jù)庫位于第一或第二計(jì)算單元。