[發(fā)明專利]隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法

有效

• 申請?zhí)枺?/td>: 201710438057.3
• 申請日: 2017-06-12
• 公開（公告）號: CN107273604B
• 公開（公告）日: 2020-09-22
• 發(fā)明（設(shè)計）人: 李拓
• 申請（專利權(quán)）人: 蘇州浪潮智能科技有限公司
• 主分類號: G06F30/20
• 分類號: G06F30/20;G06F111/04
• 代理公司: 濟南信達專利事務(wù)所有限公司 37100
• 代理人: 姜明

1.隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法，其特征在于包括如下步驟：

S1、定義隨機驗證環(huán)境中所有需要的隨機約束，并定義上述隨機約束的取值范圍；

S2、將定義后的所有需要的隨機約束組合劃分為多組隨機約束組合，且每兩組隨機約束組合之間不存在實際功能的完全重疊；

S3、設(shè)置能夠動態(tài)調(diào)整的覆蓋率統(tǒng)計周期；

S4、在覆蓋率統(tǒng)計周期內(nèi)統(tǒng)計當前仿真驗證過程中覆蓋率的增長情況，并將新增的覆蓋率累加到已有的覆蓋率數(shù)據(jù)中，以當前仿真驗證過程中覆蓋率的增長情況作為隨機約束的評估準則，對上述隨機約束組合進行仿真驗證；

步驟S2中，設(shè)置上述多組隨機約束組合的仿真順序；步驟S4中，在一個仿真過程中依序串行的對上述多組隨機約束組合進行仿真驗證；

步驟S4中，隨機約束組合進行仿真驗證的步驟記為S4-1，其內(nèi)容為：

S4-11、在一個覆蓋率統(tǒng)計周期內(nèi)對隨機約束組合進行仿真驗證，直至所述覆蓋率統(tǒng)計周期結(jié)束；

S4-12、判斷在上述覆蓋率統(tǒng)計周期內(nèi)覆蓋率的增長情況，覆蓋率的增長情況為覆蓋率沒有增長，則跳出執(zhí)行其他步驟；覆蓋率的增長情況為覆蓋率有增長，則進入下一個覆蓋率統(tǒng)計周期，則重新循環(huán)S4-1；

在一個仿真過程中依序串行的對上述多組隨機約束組合進行仿真驗證，包括如下步驟：

S41、依序讀入一組隨機約束組合，開始執(zhí)行隨機約束組合進行仿真驗證，即調(diào)用執(zhí)行S4-1；直至S4-1跳出執(zhí)行其他步驟后，則執(zhí)行步驟S42；

S42、判斷連續(xù)沒有覆蓋率增長的覆蓋率統(tǒng)計周期數(shù)是否達到最大連續(xù)沒有覆蓋率增長的覆蓋率統(tǒng)計周期數(shù)閾值；如果未達到，執(zhí)行步驟S43；如果達到，執(zhí)行步驟S44；

S43、延長上述覆蓋率統(tǒng)計周期，在延長的覆蓋率統(tǒng)計周期內(nèi)對隨機約束組合進行仿真驗證，即調(diào)用執(zhí)行S4-1；直至S4-1跳出執(zhí)行其他步驟后，則執(zhí)行步驟S42；

S44、判斷是否有未仿真驗證的隨機約束組合，如果無未仿真驗證的隨機約束組合，則結(jié)束；

如果有未仿真驗證的隨機約束組合，則依序讀入下一組隨機約束組合，重新開始執(zhí)行步驟S41。

2.根據(jù)權(quán)利要求1所述的隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法，其特征在于步驟S3中，設(shè)置能夠動態(tài)調(diào)整的覆蓋率統(tǒng)計周期包括設(shè)置初始的覆蓋率統(tǒng)計周期以及最大連續(xù)沒有覆蓋率增長的覆蓋率統(tǒng)計周期數(shù)閾值。

3.根據(jù)權(quán)利要求1或2所述的隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法，其特征在于步驟S4中，在一個仿真過程中隨機串行的對上述多組隨機約束組合進行仿真驗證。

4.根據(jù)權(quán)利要求1或2所述的隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法，其特征在于步驟S2中，將上述所有需要的隨機約束組合劃分為多組隨機約束組合組，并設(shè)置每組隨機約束組合組中對應的隨機約束組合的仿真順序；

步驟S4中，每組隨機約束組合組對應一個仿真過程，在每一個仿真過程中依序串行的對與其對應的隨機約束組合進行仿真驗證，上述多個仿真過程并行進行。

5.根據(jù)權(quán)利要求1或2所述的隨機約束可選擇的基于覆蓋率驅(qū)動的隨機驗證方法，其特征在于步驟S2中，將上述所有需要的隨機約束組合劃分為多組隨機約束組合組；

步驟S4中，每組隨機約束組合組對應一個仿真過程，在每一個仿真過程中隨機串行的對與其對應的隨機約束組合進行仿真驗證，上述多個仿真過程并行進行。