java - ModelJUnit运行测试一段时间

Question

我正在应用程序系统上执行一些基于模型的测试，我想在指定的持续时间(比如 15 分钟)内执行我的测试。

请问我怎样才能做到这一点？

到目前为止，我的测试仪看起来像这样:

final Tester tester = new GreedyTester(new AgentSystemModelTests());
tester.setRandom(new Random());
tester.buildGraph();
tester.addListener(new StopOnFailureListener());
tester.addListener("verbose");
tester.addCoverageMetric(new TransitionPairCoverage());
tester.addCoverageMetric(new StateCoverage());
tester.addCoverageMetric(new ActionCoverage());
tester.generate(500);
tester.printCoverage();

Answer 1

tester.generate(int n) 在 Tester 类中被定义为循环运行 n 次调用 generate ()。

要在设定的时间内运行测试，请考虑使用 while 循环设置为在时间结束后立即停止，如下所示。

final Duration TEST_DURATION = Duration.ofMinutes(15);

final Instant startTime = Instant.now();
final Instant finishTime = startTime.plus(TEST_DURATION);

final Tester tester = new GreedyTester(new AgentSystemModelTests());
tester.setRandom(new Random());
tester.buildGraph();
tester.addListener(new StopOnFailureListener());
tester.addListener("verbose");
tester.addCoverageMetric(new TransitionPairCoverage());
tester.addCoverageMetric(new StateCoverage());
tester.addCoverageMetric(new ActionCoverage());

// This is the magic predicate for the loop
while (Instant.now().isBefore(finishTime)) {
   tester.generate();
}
tester.printCoverage();

来源:

Tester.java

GreedyTester.java which inherits RandomTester.java which inherits Tester.java