绝大多数工控软件都只有有限的输入和输出，理论上有限大小的真值表（true table)就可以验证