add serialization tests for discrimination trees

Author: mtf90

algorithms/active/discrimination-tree-vpda/pom.xml

@@ -75,6 +75,14 @@ limitations under the License.
             <groupId>net.automatalib</groupId>
             <artifactId>automata-commons-smartcollections</artifactId>
         </dependency>
+        <dependency>
+            <groupId>net.automatalib</groupId>
+            <artifactId>automata-commons-util</artifactId>
+        </dependency>
+        <dependency>
+            <groupId>net.automatalib</groupId>
+            <artifactId>automata-util</artifactId>
+        </dependency>
 
         <!-- build -->
         <dependency>
@@ -83,10 +91,31 @@ limitations under the License.
         </dependency>
 
         <!-- test -->
+        <dependency>
+            <groupId>de.learnlib</groupId>
+            <artifactId>learnlib-equivalence-oracles</artifactId>
+            <scope>test</scope>
+        </dependency>
         <dependency>
             <groupId>de.learnlib.testsupport</groupId>
             <artifactId>learnlib-learner-it-support</artifactId>
         </dependency>
+        <dependency>
+            <groupId>de.learnlib</groupId>
+            <artifactId>learnlib-membership-oracles</artifactId>
+            <scope>test</scope>
+        </dependency>
+        <dependency>
+            <groupId>de.learnlib</groupId>
+            <artifactId>learnlib-util</artifactId>
+            <scope>test</scope>
+        </dependency>
+
+        <dependency>
+            <groupId>net.automatalib</groupId>
+            <artifactId>automata-serialization-dot</artifactId>
+            <scope>test</scope>
+        </dependency>
 
         <dependency>
             <groupId>org.testng</groupId>

algorithms/active/discrimination-tree-vpda/src/test/java/de/learnlib/algorithms/discriminationtree/DTVisualizationTest.java

@@ -0,0 +1,87 @@
+/* Copyright (C) 2013-2022 TU Dortmund
+ * This file is part of LearnLib, http://www.learnlib.de/.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package de.learnlib.algorithms.discriminationtree;
+
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.StringWriter;
+import java.util.Random;
+
+import com.google.common.io.CharStreams;
+import de.learnlib.acex.analyzers.AcexAnalyzers;
+import de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA;
+import de.learnlib.oracle.equivalence.vpda.SimulatorEQOracle;
+import de.learnlib.oracle.membership.SimulatorOracle;
+import de.learnlib.util.Experiment;
+import net.automatalib.automata.vpda.DefaultOneSEVPA;
+import net.automatalib.automata.vpda.OneSEVPA;
+import net.automatalib.commons.util.IOUtil;
+import net.automatalib.serialization.dot.GraphDOT;
+import net.automatalib.util.automata.random.RandomAutomata;
+import net.automatalib.words.impl.Alphabets;
+import net.automatalib.words.impl.DefaultVPDAlphabet;
+import org.testng.Assert;
+import org.testng.annotations.Test;
+
+/**
+ * @author frohme
+ */
+public class DTVisualizationTest {
+
+    private final DTLearnerVPDA<Character> learner;
+
+    public DTVisualizationTest() {
+        final DefaultVPDAlphabet<Character> alphabet = new DefaultVPDAlphabet<>(Alphabets.characters('a', 'c'),
+                                                                                Alphabets.characters('1', '3'),
+                                                                                Alphabets.characters('x', 'z'));
+        final DefaultOneSEVPA<Character> vpa =
+                RandomAutomata.randomOneSEVPA(new Random(42), 10, alphabet, 0.5, 0.5, true);
+
+        final SimulatorOracle<Character, Boolean> mqo = new SimulatorOracle<>(vpa);
+        final SimulatorEQOracle<Character> eqo = new SimulatorEQOracle<>(vpa);
+        this.learner = new DTLearnerVPDA<>(alphabet, mqo, AcexAnalyzers.BINARY_SEARCH_FWD);
+
+        final Experiment<OneSEVPA<?, Character>> exp = new Experiment<>(learner, eqo, alphabet);
+        exp.run();
+    }
+
+    @Test
+    public void testVisualizeHyp() throws IOException {
+        final String expectedHyp = resourceAsString("/hyp.dot");
+
+        final StringWriter actualHyp = new StringWriter();
+        GraphDOT.write(this.learner.getHypothesisModel(), actualHyp);
+
+        Assert.assertEquals(actualHyp.toString(), expectedHyp);
+    }
+
+    @Test
+    public void testVisualizeDT() throws IOException {
+        final String expectedDT = resourceAsString("/dt.dot");
+
+        final StringWriter actualDT = new StringWriter();
+        GraphDOT.write(this.learner.getDiscriminationTree(), actualDT);
+
+        Assert.assertEquals(actualDT.toString(), expectedDT);
+    }
+
+    private String resourceAsString(String resourceName) throws IOException {
+        try (InputStream is = getClass().getResourceAsStream(resourceName)) {
+            assert is != null;
+            return CharStreams.toString(IOUtil.asBufferedUTF8Reader(is));
+        }
+    }
+}

algorithms/active/discrimination-tree-vpda/src/test/resources/dt.dot

@@ -0,0 +1,41 @@
+digraph g {
+
+	s0 [shape="oval" label="<ε, ε>"];
+	s1 [shape="oval" label="<ε, a>"];
+	s2 [shape="oval" label="<ε, b>"];
+	s3 [shape="box" label="4"];
+	s4 [shape="oval" label="<ε, b>"];
+	s5 [shape="oval" label="<ε, 1 a x>"];
+	s6 [shape="oval" label="<ε, c>"];
+	s7 [shape="oval" label="<ε, 1 x>"];
+	s8 [shape="box" label="0"];
+	s9 [shape="box" label="5"];
+	s10 [shape="oval" label="<ε, c>"];
+	s11 [shape="box" label="1"];
+	s12 [shape="oval" label="<ε, 1 x>"];
+	s13 [shape="box" label="6"];
+	s14 [shape="box" label="7"];
+	s15 [shape="box" label="9"];
+	s16 [shape="box" label="2"];
+	s17 [shape="box" label="8"];
+	s18 [shape="box" label="3"];
+	s0 -> s1 [label="false"];
+	s0 -> s2 [label="true"];
+	s1 -> s3 [label="false"];
+	s1 -> s4 [label="true"];
+	s2 -> s5 [label="false"];
+	s2 -> s6 [label="true"];
+	s4 -> s7 [label="false"];
+	s4 -> s8 [label="true"];
+	s5 -> s9 [label="false"];
+	s5 -> s10 [label="true"];
+	s6 -> s11 [label="false"];
+	s6 -> s12 [label="true"];
+	s7 -> s13 [label="false"];
+	s7 -> s14 [label="true"];
+	s10 -> s15 [label="false"];
+	s10 -> s16 [label="true"];
+	s12 -> s17 [label="false"];
+	s12 -> s18 [label="true"];
+
+}