《表1 模型与检查器组：基于关联规则算法的检查器组优化建议机制》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于关联规则算法的检查器组优化建议机制》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

基于关联规则算法的检查器组优化建议分析需要从大量的验证结果文件中获取检查器的特征信息。常规模型文件与检查器组如表1所示，其中Part代表模型文件，其编号表示一次工程中所涉及到的模型文件，文件大小从KB到GB不等，据模型复杂度而定；Checkers表示检查器组，Checkers（n）表示组内检查器个数，模型越复杂，所需检查器越多，同时运行Check-Mate的时间也越长。