Package statechum.model.testset

Examples of statechum.model.testset.PTA_FSMStructure

981
982
983
984
985
986
987
988
989
990
991
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    final LearnerGraph machine = new LearnerGraph(g,mainConfiguration);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
View Full Code Here
1099
1100
1101
1102
1103
1104
1105
1106
  public final void test_sequenceSet_equality_differentcontainer()
  {
    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = en.new SequenceSet();
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    PTA_FSMStructure engine2 = new PTA_FSMStructure(fsm,null);   
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,engine2.new SequenceSet(), true);
  }
View Full Code Here
1220
1221
1222
1223
1224
1225
1226
1227
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine engine = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    engine.containsSequence(new ArrayList<Label>());
  }
View Full Code Here
1366
1367
1368
1369
1370
1371
1372
1373
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    },mainConfiguration,converter));
    SequenceSet seqTwo = new PTA_FSMStructure(fsm,null).new SequenceSet();
    seqTwo.unite(seqOne);
  }
View Full Code Here
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
  @Test
  public final void test_stringCollectionSize0()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    vertifyPTA(en, 1, new String[][] {
        new String[] {}
    });
    int expectedCompressed = 0, expectedUncompressed = 0;
View Full Code Here
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
 
  @Test
  public final void test_stringCollectionSize1()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSequence(labelList(new String[] {"b","a"}));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b","a"}
    });
View Full Code Here
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
 
  @Test
  public final void test_stringCollectionSize2()
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"a","b"}));
    vertifyPTA(en, 6, new String[][] {
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
  }
 
  @Test
  public final void testPrecisionRecall0()
  {
    PTASequenceEngine en = new PTA_FSMStructure(fsm,null);
    SequenceSet seq = en.new SequenceSet();
    seq.crossWithSet(labelList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    TestPTASequenceEngine.vertifyPTA(en, 1, new String[][] {
        new String[] {}
    },fsm.config,converter);
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
  @Test
  public final void testPrecisionRecall1()
  {
    // this graph gives the labelling to the sequences I add to the set of sequences with partialPTA.cross below.
    LearnerGraph mach = buildLearnerGraph("A-a->A-b-#B","testPrecisionRecall1",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a"}, // +
        new String[]{"b"}      // -
      },mainConfiguration,converter));
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
  @Test
  public final void testPrecisionRecall2a()
  {
    LearnerGraph mach = buildLearnerGraph("A-a->A-b-#B","testPrecisionRecall2a",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a"},// +
        new String[]{"b"},      // -
        new String[]{"a", "b"}  // -, FP
View Full Code Here
TOP

Related Classes of statechum.model.testset.PTA_FSMStructure

  • statechum.analysis.learning.experiments.Benchmarklinear
  • statechum.analysis.learning.experiments.CompareGraphs
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.analysis.learning.experiments.StructuralDifferencesPaper
  • statechum.analysis.learning.rpnicore.WMethod
  • statechum.apps.CompareGraphs
  • statechum.model.testset.TestPTA_computePrecisionRecall
  • statechum.model.testset.TestPTASequenceEngine
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.