Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet.cross()

157
158
159
160
161
162
163
164
165
166
167
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
   
    engine = new PTA_FSMStructure(mach);
    partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"},
      }));
    precComputer.crossWith(engine);
    assertEquals(1, precComputer.pos_relret);assertEquals(0, precComputer.neg_relret);
    assertEquals(4, precComputer.pos_Rel);assertEquals(0, precComputer.neg_Rel);
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
  public final void test_ign2() // a complex structure, most of which gets ignored.
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->BM-a->AM\nBM-b->CM-a->DM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","b"}, new String[]{"b"}, new String[]{"a", "b", "c"}, new String[]{"a", "b", "a"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    precComputer.crossWith(engine);
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
  public final void test_ign3() // long test sequence (which does not exist) which is rejected part-way
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->AM-b->AM-c->AM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c","d"},
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    precComputer.crossWith(engine);
View Full Code Here
413
414
415
416
417
418
419
420
421
422
423
  @Test
  public final void test_sequenceSet4_1() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    }));
    vertifyPTA(en, new String[][] {
        new String[] {"a","b","c"}
    });
View Full Code Here
425
426
427
428
429
430
431
432
433
434
435
  @Test
  public final void test_sequenceSet4_2() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"},
        new String[] {"a"},
        new String[] {"a","b","c","d"},
       
    }));
View Full Code Here
443
444
445
446
447
448
449
450
451
452
453
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    sequenceSet temp = seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    }));
    temp.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"},
        new String[] {"c"}
    }));
    vertifyPTA(en, new String[][] {
        new String[] {"a","b","c","c"},
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
 
  @Test
  public final void test_sequenceSet5_1() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    })).crossWithSet(new LinkedList<String>());
    en.new sequenceSet().cross(TestFSMAlgo.buildList(new String[][] {// here the new sequenceSet is empty, hence whatever I do, there should be no changes
        new String[] {"a","b","c","d"},
        new String[] {"c"}
View Full Code Here
317
318
319
320
321
322
323
324
325
326
327
      FSMStructure learned = WMethod.getGraphData(learningOutcome);

      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learned);
      PTATestSequenceEngine engineTestSet = new PTA_FSMStructure(fsm);
      sequenceSet partialPTA = engineTestSet.new sequenceSet();partialPTA.setIdentity();
      partialPTA = partialPTA.cross(testSet);

      PTATestSequenceEngine engineSetMinus = new PTA_FSMStructure(fsm);
      sequenceSet origMinus = engineSetMinus.new sequenceSet();origMinus.setIdentity();
      origMinus.cross(sminus);
View Full Code Here
321
322
323
324
325
326
327
328
329
330
331
      sequenceSet partialPTA = engineTestSet.new sequenceSet();partialPTA.setIdentity();
      partialPTA = partialPTA.cross(testSet);

      PTATestSequenceEngine engineSetMinus = new PTA_FSMStructure(fsm);
      sequenceSet origMinus = engineSetMinus.new sequenceSet();origMinus.setIdentity();
      origMinus.cross(sminus);

      precRec.crossWith(engineSetMinus);
      PosNegPrecisionRecall precisionRecall = precRec.crossWith(engineTestSet);
     
      return precisionRecall;
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.