Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

statechum.model.testset.PTASequenceEngine.SequenceSet

  }


  @Test
  public final void test_sequenceSet_limitTo2()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    seqOne.limitTo(2);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c" }
        }));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

  }


  @Test
  public final void test_sequenceSet_limitTo3()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(2000);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"a","c"},
        new String[] {"c"}
        }));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

  }


  @Test
  public final void test_sequenceSet_limitTo4()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(-1);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"a","c"},
        new String[] {"c"}
        }));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

  @Test
  public final void test_stringCollectionSize0()
  {
    fsm = new LearnerGraph(TestFSMAlgo.buildGraph("A-a->A-b->B", "test_sequenceSet3_6"),config);
    en = new PTA_FSMStructure(fsm);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    vertifyPTA(en, 1, new String[][] {
        new String[] {}
    });
    int expectedCompressed = 0, expectedUncompressed = 0;
    assertEquals(expectedCompressed, PTASequenceEngine.stringCollectionSize(en).secondElem.intValue());

View Full Code Here

  @Test
  public final void test_stringCollectionSize1()
  {
    fsm = new LearnerGraph(TestFSMAlgo.buildGraph("A-a->A-b->B", "test_sequenceSet3_6"),config);
    en = new PTA_FSMStructure(fsm);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(Arrays.asList(new String[] {"b","a"}));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b","a"}
    });
    int expectedCompressed = 2, expectedUncompressed = 2;
    assertEquals(expectedCompressed, PTASequenceEngine.stringCollectionSize(en).secondElem.intValue());

View Full Code Here

  @Test
  public final void test_stringCollectionSize2()
  {
    fsm = new LearnerGraph(TestFSMAlgo.buildGraph("A-a->A-b->B", "test_sequenceSet3_6"),config);
    en = new PTA_FSMStructure(fsm);    
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"a","b"}));
    vertifyPTA(en, 6, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","a"},

View Full Code Here

  }
  
  @Test
  public final void test_sequenceSet1()
  {
    SequenceSet seq = en.new SequenceSet();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"}))); // appending anything to an empty sequence produces an empty sequence.
    vertifyPTA(en, 1, new String[][] {
        new String[] {} // there is only an empty path but since reject-nodes are returned, this path is returned.
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

  }
  
  @Test
  public final void test_sequenceSet2() // an input which exists
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, true)}

View Full Code Here

  }
  
  @Test
  public final void test_sequenceSet3() // the one which does not exist
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"c"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"c"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

  }
  
  @Test
  public final void test_sequenceSet4() // the one which enters a reject state
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(Arrays.asList(new String[] {"b"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
    });

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of statechum.model.testset.PTASequenceEngine.SequenceSet

statechum.analysis.learning.experiments.Benchmarklinear

statechum.analysis.learning.experiments.CompareGraphs

statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator

statechum.analysis.learning.experiments.OldIncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator

statechum.analysis.learning.experiments.PaperUAS

statechum.analysis.learning.experiments.PaperUAS$RPNIBlueFringe

statechum.analysis.learning.experiments.PaperUAS$RPNIBlueFringeTestVariability

statechum.analysis.learning.experiments.StructuralDifferencesPaper

statechum.analysis.learning.experiments.Test_LearningProgressRecorder$RPNIEvaluator

statechum.analysis.learning.RPNIBlueFringeVariability

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.