随机约束和覆盖组同步方法专利查询专利号|摘要-满商公司网

随机约束和覆盖组同步方法

基本信息

申请号	CN202210086418.3	申请日	-
公开（公告）号	CN114492258A	公开（公告）日	2022-05-13
申请公布号	CN114492258A	申请公布日	2022-05-13
分类号	G06F30/33（2020.01）I	分类	计算；推算；计数;
发明人	马骁	申请（专利权）人	杭州云合智网技术有限公司
代理机构	上海洞见未来专利代理有限公司	代理人	-
地址	311200浙江省杭州市萧山区萧山经济技术开发区建设二路858号集成电路设计产业园D幢107室
法律状态	-

摘要

本发明公开了一种随机约束和覆盖组同步方法，包含如下步骤：S1：在gen_ignore_bins方法中声明并构造目标的随机对象；S2：遍历覆盖组的交叉覆盖点的组合，获得遍历的值；S3：将遍历的值指定赋给待检查的随机对象的数据成员；S4：将预设的参数null传递到随机方法中，以将随机约束求解方法当作随机约束的检测器来使用；S5：调用该随机约束检测器检查随机对象中数据成员的值是否符合随机约束所约束的合法区间范围值，从而做出相应操作；S6：重复执行上述步骤S2、步骤S3、步骤S4和步骤S5，直至遍历完所有覆盖组的交叉覆盖点的组合。本发明将参数传递到随机方法来将原先的随机产生器当作检测器来使用，从而创新性的应用实现了随机约束和覆盖组之间的关联同步。