《表6 THC组件接口：基于合约逐级求解的系统测试用例生成》

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

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

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

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

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

THC组件接口见表6，具备参数SVAL（模拟信号、报警信号跳变阈值）、参数HYST（模拟信号、迟滞参数），组件参数见表7。输入接口I1获取被依赖组件SUM组件传递来的温差值及状态，作为输入添加进映射表，并从映射表中取出PICT生成的SVAL及HYST的参数值。根据当前不同工作模式，选择输出不同信号。例，当输入数据值大于SVAL，则超出阈值上限，信号从“0”跳变至“1”，输出报警信号。并根据不变式条件，约简布尔表达式为“假”时的测试用例，最终得到满足所有合约的测试用例集，THC组件条件见表8。