Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

412
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
424
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
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
  }
 
  @Test
  public final void test_sequenceSet4_3() // a more complex composition
  {
    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
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
  }
 
  @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"}
    }));
    vertifyPTA(en, new String[][] {
        new String[] {"a","b","c"}
View Full Code Here
472
473
474
475
476
477
478
479
480
481
482
483
484
  }

  @Test
  public final void test_sequenceSet5_2() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSequence(Arrays.asList(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"}
    }));
    vertifyPTA(en, new String[][] {
        new String[] {"a","b","c"}
View Full Code Here
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
      l.setQuestionCounter(0);
      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);

      precRec.crossWith(engineSetMinus);
      PosNegPrecisionRecall precisionRecall = precRec.crossWith(engineTestSet);
     
      return precisionRecall;
View Full Code Here
TOP

Related Classes of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.xmachine.model.testset.TestPTA_computePrecisionRecall
  • statechum.xmachine.model.testset.TestPTATestSequenceEngine
  • statechum.xmachine.model.testset.WMethod
    • 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.