Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
 
  /** Test for equality of different sequenceSets. */
  @Test
  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
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality0a()
  {
    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = seqStart1.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
View Full Code Here
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality0b()
  {
    SequenceSet seqStart1 = en.new SequenceSet();
    SequenceSet seqStart2 = en.new SequenceSet();
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.crossWithSequence(labelList(
        new String[] {"a"}
    ));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
View Full Code Here
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality0c()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.crossWithSequence(labelList(
        new String[] {"t"}
    ));
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.crossWithSequence(labelList(
        new String[] {"t"}
    ));
    SequenceSet seqDifferent1 = en.new SequenceSet();seqDifferent1.setIdentity();
    SequenceSet seqDifferent2 = en.new SequenceSet();seqDifferent2.setIdentity();seqDifferent2.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"}
       
    },mainConfiguration,converter));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
  public static List<List<String>> computeQS_general(final StatePair pairToMerge,
      final LearnerGraph original, final LearnerGraph learnt,final QuestionConstructor qConstructor)
  {
    final PTASequenceEngine engine = qConstructor.constructEngine(original, learnt);
   
    final SequenceSet identity = engine.new SequenceSet();identity.setIdentity();
    for(AMEquivalenceClass eq:learnt.learnerCache.getMergedStates())
      qConstructor.addQuestionsForState(eq, original, learnt, pairToMerge,
          learnt.stateLearnt,new MergeData(){
        public SequenceSet getPathsToBlue()
        {
          SequenceSet toBlue = engine.new SequenceSet();
          original.paths.computePathsSBetween(original.init, pairToMerge.getQ(), identity, toBlue);
          return toBlue;
        }

        public SequenceSet getPathsToRed()
        {
          SequenceSet toRed = engine.new SequenceSet();
          original.paths.computePathsSBetween(original.init, pairToMerge.getR(), identity, toRed);
          return toRed;
        }

        public SequenceSet getPathsToLearnt()
        {
          SequenceSet toLearnt = engine.new SequenceSet();
          learnt.paths.computePathsSBetween(learnt.init, learnt.stateLearnt, identity, toLearnt);
          return toLearnt;
        }

      });
View Full Code Here
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality1()
  {
    SequenceSet seqStart1 = en.new SequenceSet();seqStart1.setIdentity();
    SequenceSet seqStart2 = en.new SequenceSet();seqStart2.setIdentity();
    SequenceSet seqDifferent1 = en.new SequenceSet();
    SequenceSet seqDifferent2 = seqStart1.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"}
    },mainConfiguration,converter));
    equalityTestingHelper(seqStart1,seqStart2,seqDifferent1,seqDifferent2, true);
  }
View Full Code Here
309
310
311
312
313
314
315
316
317
318
319
320
    if (mergedRed == null)
      throw new IllegalArgumentException("failed to find the red state in the merge result");
   
    PTASequenceEngine engine = new PTASequenceEngine();
    engine.init(original.new NonExistingPaths());
    PTASequenceEngine.SequenceSet paths = engine.new SequenceSet();
    PTASequenceEngine.SequenceSet initp = engine.new SequenceSet();initp.setIdentity();

    merged.paths.computePathsSBetween(merged.init,mergedRed, initp, paths);
   
    Collection<String> inputsToMultWith = new LinkedList<String>();
    for(Entry<String,CmpVertex> loopEntry:merged.transitionMatrix.get(mergedRed).entrySet())
View Full Code Here
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
    if (mergedRed == null)
      throw new IllegalArgumentException("failed to find the red state in the merge result");
   
    PTASequenceEngine engine = new PTASequenceEngine();
    engine.init(original.new NonExistingPaths());
    PTASequenceEngine.SequenceSet paths = engine.new SequenceSet();
    PTASequenceEngine.SequenceSet initp = engine.new SequenceSet();initp.setIdentity();

    List<Collection<String>> sequenceOfSets = merged.paths.computePathsSBetween(merged.init,mergedRed);
    if (sequenceOfSets == null)
      throw new IllegalArgumentException("failed to find the red state in the merge result");
    for(Collection<String> inputsToMultWith:sequenceOfSets)
      initp = initp.crossWithSet(inputsToMultWith);
    paths.unite(initp);
    //merged.paths.computePathsSBetweenBooleanReduced(merged.init,mergedRed, initp, paths);
   
    Collection<String> inputsToMultWith = new LinkedList<String>();
    for(Entry<String,CmpVertex> loopEntry:merged.transitionMatrix.get(mergedRed).entrySet())
View Full Code Here
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
 
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality2()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqStartOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    },mainConfiguration,converter));
   
    SequenceSet seqStartTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c","a","a"}
    },mainConfiguration,converter));
   
    SequenceSet seqDifferent1 = en.new SequenceSet();
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"}
    },mainConfiguration,converter));
    equalityTestingHelper(seqStartOne,seqStartTwo,seqDifferent1,seqDifferent2, true);
  }
View Full Code Here
370
371
372
373
374
375
376
377
378
    if (mergedRed == null)
      throw new IllegalArgumentException("failed to find the red state in the merge result");
   
    PTASequenceEngine engine = new PTASequenceEngine();
    engine.init(original.new NonExistingPaths());
    PTASequenceEngine.SequenceSet initp = engine.new SequenceSet();initp.setIdentity();
    merged.questions.buildQuestionsFromPair_Compatible(mergedRed, initp);
    return engine.getData(PTASequenceEngine.truePred);
  }
View Full Code Here
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
    • 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.