《表1 逻辑状态检查匹配需求》

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

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

《行为级模型功能比对验证的自动方法学》

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

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

进行逻辑状态自动比对时，如果实际逻辑输出和预计逻辑输出不匹配，也即是违反了匹配需求条件，如表1所示，则警告和错误信息会被写入矢量检查出错报告中，如图4所示。如果完全匹配，则出错报告会是一个空文件。