Java ModelBasedTesting示例

示例#1

文件： EdgeCoverageTest.java 项目： JTBAML56/GraphWalker

  public void testIsFulfilled()
      throws StopConditionException, GeneratorException, InterruptedException {
    ModelBasedTesting mbt = ModelBasedTesting.getInstance();
    mbt.setGraph(graph);
    mbt.setGenerator(new RandomPathGenerator(new EdgeCoverage()));
    assertTrue(mbt.hasNextStep());

    assertEquals(false, mbt.getGenerator().getStopCondition().isFulfilled());
    mbt.getNextStep();
    assertEquals(false, mbt.getGenerator().getStopCondition().isFulfilled());
    mbt.getNextStep();
    assertEquals(true, mbt.getGenerator().getStopCondition().isFulfilled());
  }

示例#2

文件： EdgeCoverageTest.java 项目： JTBAML56/GraphWalker

  public void testFulfillment()
      throws StopConditionException, GeneratorException, InterruptedException {
    ModelBasedTesting mbt = ModelBasedTesting.getInstance();
    mbt.setGraph(graph);
    mbt.setGenerator(new RandomPathGenerator(new EdgeCoverage()));
    assertTrue(mbt.hasNextStep());

    assertEquals((double) 0 / 2, mbt.getGenerator().getStopCondition().getFulfilment(), 0.01);
    mbt.getNextStep();
    assertEquals((double) 1 / 2, mbt.getGenerator().getStopCondition().getFulfilment(), 0.01);
    mbt.getNextStep();
    assertEquals((double) 2 / 2, mbt.getGenerator().getStopCondition().getFulfilment(), 0.01);
  }