Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

224
225
226
227
228
229
230
231
232
233
234
    PTASequenceEngine engine = null;
    if (!useNegatives)
    {
      PTASequenceEngine positives = new PTASequenceEngine();positives.init(new Automaton());
      SequenceSet initSeq = positives.new SequenceSet();initSeq.setIdentity();
      initSeq.cross(engineArg.getData());
      engine = positives;
    }
    else
      engine = engineArg;
   
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
    generator.generateRandomPosNeg(posOrNegPerChunk*2,1);
    Collection<List<Label>> sequences = cvsGraph.wmethod.getFullTestSet(1);//generator.getAllSequences(0).getData(PTASequenceEngine.truePred);

    PTASequenceEngine walkEngine = new PTA_FSMStructure(cvsGraph,null);
    SequenceSet ptaWalk = walkEngine.new SequenceSet();ptaWalk.setIdentity();
    ptaWalk = ptaWalk.cross(sequences);
   
   
   
    PTA_computePrecisionRecall precRec = null;
   
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
    characterisationSet = computeWSet_reducedmemory(coregraph);if (characterisationSet.isEmpty()) characterisationSet.add(Arrays.asList(new Label[]{}));
    transitionCover = crossWithSet(stateCover,alphabet);transitionCover.addAll(stateCover);

    PTASequenceEngine engine = new PTA_FSMStructure(coregraph,initialState);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(stateCover);
   
    partialPTA.cross(characterisationSet);
    for(int i=0;i<=numberOfExtraStates;i++)
    {
      partialPTA = partialPTA.crossWithSet(alphabet);
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
    PTASequenceEngine engine = new PTA_FSMStructure(coregraph,initialState);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(stateCover);
   
    partialPTA.cross(characterisationSet);
    for(int i=0;i<=numberOfExtraStates;i++)
    {
      partialPTA = partialPTA.crossWithSet(alphabet);
      partialPTA.cross(characterisationSet);
    }
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
   
    partialPTA.cross(characterisationSet);
    for(int i=0;i<=numberOfExtraStates;i++)
    {
      partialPTA = partialPTA.crossWithSet(alphabet);
      partialPTA.cross(characterisationSet);
    }
   
    return engine;
  }
 
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
 
  public static PosNegPrecisionRecall compare(Collection<List<Label>> tests, LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(tests);
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
/*
  private static void printTests(Collection<List<String>> tests){
    for (List<String> list : tests) {
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
   
    return allSequences;
  }

  /** Checks if a PTA constructed is consistent with provided sequences. */
 
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
   
    return allSequences;
  }

  /** Checks if a PTA constructed is consistent with provided sequences. */
 
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
      LearnerGraph learnt = learn(l,sMinus);
      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learnt);
      PTASequenceEngine engine = new PTA_FSMStructure(graph);
      PosNegPrecisionRecall ptaPR = precRec.crossWith(sMinus);
      SequenceSet ptaTestSet = engine.new SequenceSet();ptaTestSet.setIdentity();
      ptaTestSet = ptaTestSet.cross(graph.wmethod.getFullTestSet(1));
      PosNegPrecisionRecall prNeg = precRec.crossWith(engine);
     
      assert questionNumber.get() == l.getQuestionCounter();
     
      // Column 0 is the name of the learner.
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
    generator.generateRandomPosNeg(posOrNegPerChunk*2,1);
    Collection<List<String>> sequences = cvsGraph.wmethod.getFullTestSet(1);//generator.getAllSequences(0).getData(PTASequenceEngine.truePred);

    PTASequenceEngine walkEngine = new PTA_FSMStructure(cvsGraph,null);
    SequenceSet ptaWalk = walkEngine.new SequenceSet();ptaWalk.setIdentity();
    ptaWalk = ptaWalk.cross(sequences);
   
   
   
    PTA_computePrecisionRecall precRec = null;
   
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.