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());
}
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);
}