《表3 MUL＿1组件接口》

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

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

《基于合约逐级求解的系统测试用例生成》

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

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

MUL＿1组件接口见表3，具备参数G1（模拟信号、最大温度增幅），输入接口I1获取被依赖组件MAX的输出值及状态，并作为自己的输入数据，即最大温度添加进映射表。根据不同工作模式，对应后置条件输出增幅后的最大温度，MUL＿1组件前置及后置条件见表4。