隨機約束和覆蓋組同步方法

基本信息

申請?zhí)?/td> CN202210086418.3 申請日 -
公開（公告）號 CN114492258A 公開（公告）日 2022-05-13
申請公布號 CN114492258A 申請公布日 2022-05-13
分類號 G06F30/33（2020.01）I 分類 計算；推算；計數(shù);
發(fā)明人 馬驍 申請（專利權）人 杭州云合智網(wǎng)技術有限公司
代理機構 上海洞見未來專利代理有限公司 代理人 -
地址 311200浙江省杭州市蕭山區(qū)蕭山經濟技術開發(fā)區(qū)建設二路858號集成電路設計產業(yè)園D幢107室
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種隨機約束和覆蓋組同步方法，包含如下步驟：S1：在gen_ignore_bins方法中聲明并構造目標的隨機對象；S2：遍歷覆蓋組的交叉覆蓋點的組合，獲得遍歷的值；S3：將遍歷的值指定賦給待檢查的隨機對象的數(shù)據(jù)成員；S4：將預設的參數(shù)null傳遞到隨機方法中，以將隨機約束求解方法當作隨機約束的檢測器來使用；S5：調用該隨機約束檢測器檢查隨機對象中數(shù)據(jù)成員的值是否符合隨機約束所約束的合法區(qū)間范圍值，從而做出相應操作；S6：重復執(zhí)行上述步驟S2、步驟S3、步驟S4和步驟S5，直至遍歷完所有覆蓋組的交叉覆蓋點的組合。本發(fā)明將參數(shù)傳遞到隨機方法來將原先的隨機產生器當作檢測器來使用，從而創(chuàng)新性的應用實現(xiàn)了隨機約束和覆蓋組之間的關聯(lián)同步。