温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种随机约束和覆盖组同步方法，包含如下步骤：S1：在gen_ignore_bins方法中声明并构造目标的随机对象；S2：遍历覆盖组的交叉覆盖点的组合，获得遍历的值；S3：将遍历的值指定赋给待检查的随机对象的数据成员；S4：将预设...
该专利属于杭州云合智网技术有限公司所有，仅供学习研究参考，未经过杭州云合智网技术有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。