[發(fā)明專利]驗證實例生成方法、裝置、電子設(shè)備及存儲介質(zhì)

在審

• 申請?zhí)枺?/td>: 202111055784.4
• 申請日: 2021-09-09
• 公開（公告）號: CN113850046A
• 公開（公告）日: 2021-12-28
• 發(fā)明（設(shè)計）人: 索健;王正
• 申請（專利權(quán)）人: 愛芯元智半導(dǎo)體（上海）有限公司
• 主分類號: G06F30/398
• 分類號: G06F30/398;G06F111/04
• 代理公司: 北京清亦華知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11201
• 代理人: 羅嵐

1.一種驗證實例生成方法，其特征在于，包括：

針對驗證環(huán)境中的每個類，配置所述類中的各個變量；

針對驗證環(huán)境中的每個實例，對所述實例需要的已配置的類進行加載處理，并對所述類中的變量進行約束配置處理；

針對所述實例中的每個約束配置，對所述約束配置中的各個函數(shù)采用替代函數(shù)庫中對應(yīng)的替代函數(shù)進行替代處理，生成驗證實例。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述針對驗證環(huán)境中的每個類，配置所述類中的各個變量，包括：

針對驗證環(huán)境中的每個類，根據(jù)所述類中定義的各個變量以及變量之間關(guān)系，確定所述類中的目標(biāo)變量，以及所述目標(biāo)變量對應(yīng)的配置類型；

對所述類中的各個所述目標(biāo)變量按照對應(yīng)的配置類型進行配置。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述針對驗證環(huán)境中的每個類，根據(jù)所述類中定義的各個變量以及變量之間關(guān)系，確定所述類中待隨機配置的目標(biāo)變量，以及所述目標(biāo)變量對應(yīng)的配置類型，包括：

針對驗證環(huán)境中的每個類，針對所述類中的每個變量，判斷所述變量是否滿足預(yù)設(shè)配置條件，其中，所述預(yù)設(shè)配置條件為所述變量可以根據(jù)所述類中的其他變量計算得到；

在所述變量滿足所述預(yù)設(shè)配置條件時，確定所述變量為所述目標(biāo)變量；

根據(jù)所述目標(biāo)變量所定義的參數(shù)的位數(shù)要求，確定所述目標(biāo)變量對應(yīng)的配置類型。

4.根據(jù)權(quán)利要求3所述的方法，其特征在于，所述根據(jù)所述目標(biāo)變量所定義的參數(shù)的位數(shù)要求，確定所述目標(biāo)變量對應(yīng)的配置類型，包括：

在所述目標(biāo)變量所定義的參數(shù)的位數(shù)要求為位數(shù)小于等于預(yù)設(shè)位數(shù)閾值時，確定所述目標(biāo)變量對應(yīng)的配置類型為比特類型；

在所述目標(biāo)變量所定義的參數(shù)的位數(shù)要求為位數(shù)大于所述預(yù)設(shè)位數(shù)閾值時，確定所述目標(biāo)變量對應(yīng)的配置類型為整數(shù)類型。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述針對驗證環(huán)境中的每個實例，對所述實例需要的已配置的類進行加載處理，并對所述類中的變量進行約束配置處理，包括：

針對驗證環(huán)境中的每個實例，對所述實例需要的已配置的類進行加載處理；

針對所述實例中加載的每個類，對所述類中的所有變量進行約束配置處理。

6.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述針對所述實例中的每個約束配置，對所述約束配置中的各個函數(shù)采用替代函數(shù)庫中對應(yīng)的替代函數(shù)進行替代處理，生成驗證實例，包括：

針對所述實例中的每個約束配置中的每個函數(shù)，判斷所述替代函數(shù)庫中是否存在與所述函數(shù)對應(yīng)的替代函數(shù)；

在所述替代函數(shù)庫中存在與所述函數(shù)對應(yīng)的替代函數(shù)時，對所述實例中的所述函數(shù)采用對應(yīng)的替代函數(shù)進行替代處理。

7.根據(jù)權(quán)利要求6所述的方法，所述替代函數(shù)庫中包括函數(shù)以及對應(yīng)的替代函數(shù)，所述函數(shù)包括以下函數(shù)中的至少一種：嵌套函數(shù)、存在對同一個變量進行不同機制處理的函數(shù)、包含指定運算符的函數(shù)、包含指定關(guān)鍵字的函數(shù)；

所述指定運算符包括以下運算符中的至少一種：不等于運算符、乘法運算符、取整運算符、取余運算符。

8.根據(jù)權(quán)利要求1所述的方法，其特征在于，還包括：

獲取已有的驗證實例；

針對所述已有的驗證實例中的每個約束配置，對所述約束配置中的各個函數(shù)采用替代函數(shù)庫中對應(yīng)的替代函數(shù)進行替代處理。

9.一種驗證實例生成裝置，其特征在于，包括：

配置模塊，用于針對驗證環(huán)境中的每個類，配置所述類中的各個變量；

處理模塊，用于針對驗證環(huán)境中的每個實例，對所述實例需要的已配置的類進行加載處理，并對所述類中的變量進行約束配置處理；

生成模塊，用于針對所述實例中的每個約束配置，對所述約束配置中的各個函數(shù)采用替代函數(shù)庫中對應(yīng)的替代函數(shù)進行替代處理，生成驗證實例。