通过 J# 求解约束条件

领测软件测试网

}

当 set_value 方法被调用时，它会设置该值，记住发出请求的约束条件，并通知其他所有参与约束条件。请不要忘记从接收通知的约束条件列表中排除 setter，以便使系统避免进入无限回归。类似地，reset 首先检查请求是否来自原来设置该值的同一约束条件；如果是，则重置它的值并通知其他所有参与约束条件。

我们引入了一个可以用来“查看”变量值的 tap。可以将 tap 视为反映变量值的被动约束条件。

// file: tap.jsl
public class tap implements IConstraint
{
  private variable val;
  private String name;

  public tap(variable v, String s)
  {
    val  = v;
    name = s;

    val.connect(this);
  }

文章来源于领测软件测试网 https://www.ltesting.net/