Search in sources :

Example 1 with SpecVerifier

use of org.btrplace.safeplace.testing.verification.spec.SpecVerifier in project scheduler by btrplace.

the class DSN method specVsCheckers.

// @Test
public void specVsCheckers() throws Exception {
    TestScanner sc = newScanner();
    Bench.population = 500;
    Bench.scale = 10;
    Path p = Paths.get(root, "verifier_stable.csv");
    Files.deleteIfExists(p);
    boolean first = true;
    for (Verifier v : new Verifier[] { new SpecVerifier(), new CheckerVerifier() }) {
        if (first) {
            Bench.mode = Bench.Mode.SAVE;
            first = !first;
        } else {
            Bench.mode = Bench.Mode.REPLAY;
        }
        System.out.println("--- Verifier: " + v.getClass() + " ---");
        Bench.report = new CSVReport(p, v.id());
        sc.test(Bench.class).forEach(c -> {
            c.verifyWith(v);
            System.out.println(c.go().toString());
        });
    }
}
Also used : Path(java.nio.file.Path) SpecVerifier(org.btrplace.safeplace.testing.verification.spec.SpecVerifier) Bench(org.btrplace.safeplace.testing.Bench) CheckerVerifier(org.btrplace.safeplace.testing.verification.btrplace.CheckerVerifier) TestScanner(org.btrplace.safeplace.testing.TestScanner) CSVReport(org.btrplace.safeplace.testing.reporting.CSVReport) SpecVerifier(org.btrplace.safeplace.testing.verification.spec.SpecVerifier) Verifier(org.btrplace.safeplace.testing.verification.Verifier) CheckerVerifier(org.btrplace.safeplace.testing.verification.btrplace.CheckerVerifier)

Aggregations

Path (java.nio.file.Path)1 Bench (org.btrplace.safeplace.testing.Bench)1 TestScanner (org.btrplace.safeplace.testing.TestScanner)1 CSVReport (org.btrplace.safeplace.testing.reporting.CSVReport)1 Verifier (org.btrplace.safeplace.testing.verification.Verifier)1 CheckerVerifier (org.btrplace.safeplace.testing.verification.btrplace.CheckerVerifier)1 SpecVerifier (org.btrplace.safeplace.testing.verification.spec.SpecVerifier)1