Package statechum.analysis.learning.experiments.PaperUAS

Examples of statechum.analysis.learning.experiments.PaperUAS.TracesForSeed

249
250
251
252
253
254
255
256
257
258
259
  @Test
  public void testLoad3d()
  {
    Assert.assertTrue(paper.collectionOfTraces.isEmpty());
    paper.loadData(new StringReader("0,AA,4,  "));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
   
    // two special UAVs, collecting all traces in a specific seed and the one collecting traces across seeds.
    Assert.assertEquals(3,tr.tracesForUAVandFrame.size());
    Assert.assertEquals(3,tr.tracesForUAVandFrame.size());
    Assert.assertEquals(1,constructCollectionOfTraces(tr.tracesForUAVandFrame.get("AA"),true).size());
View Full Code Here
293
294
295
296
297
298
299
300
301
302
303
  @Test
  public void testLoad3g()
  {
    Assert.assertTrue(paper.collectionOfTraces.isEmpty());
    paper.loadData(new StringReader("0,UAV3,4, + [[aa]]"));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav3Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),true);
    Assert.assertEquals(1,uav3Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"}}, mainConfiguration,converter).equals(
        uav3Positive.get(0)));
    Map<Integer,Set<List<Label>>> uav3Negative= constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),false);
View Full Code Here
315
316
317
318
319
320
321
322
323
324
325
  /** Both positive and negative traces. */
  @Test
  public void testLoad4()
  {
    paper.loadData(new StringReader("0,UAV3,4, + [[aa],[bb,cc]] - [[zz]]"));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav3Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),true);
    Assert.assertEquals(1,uav3Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"},new String[]{"bb","cc"}}, mainConfiguration,converter).equals(
        uav3Positive.get(0)));
    Map<Integer,Set<List<Label>>> uav3Negative = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),false);
View Full Code Here
334
335
336
337
338
339
340
341
342
343
344
  {
    paper.loadData(new StringReader("0,UAV3,4, + [[aa],[bb,cc]] - [[zz]]\n"+
        "0,UAV55,4, - [[Faa],[bb,Fcc]]\n"+
        "1,UAV3,4, + [[Taa],[bb,cc]] - [[Tzz]]\n"
    ));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav3Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV3"),true);
    Assert.assertEquals(2,uav3Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"},new String[]{"bb","cc"}}, mainConfiguration,converter).equals(
        uav3Positive.get(0)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"},new String[]{"Taa"},new String[]{"bb","cc"}}, mainConfiguration,converter).equals(
View Full Code Here
369
370
371
372
373
374
375
376
377
378
379
    paper.loadData(new StringReader("0,UAV3,4, + [[aa],[bb,cc]] - [[zz]]\n"+
        "0,UAV55,4, - [[Faa],[bb,Fcc]]\n"+
        "1,UAV3,4, + [[Taa],[bb,cc]] - [[Tzz]]\n"+
        "0,UAV55,4, + [[qq]]\n"
    ));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav55Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV55"),true);
    Map<Integer,Set<List<Label>>> uav55Negative = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV55"),false);
    Assert.assertEquals(2,uav55Negative.size());
    Assert.assertEquals(2,uav55Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"qq"}}, mainConfiguration,converter).equals(
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
        "0,UAV55,4, - [[Faa],[bb,Fcc]]\n"+
        "1,UAV3,4, + [[Taa],[bb,cc]] - [[Tzz]]\n"+
        "0,UAV55,4, + [[qq]]\n"+
        "2,UAV3,4, + [[anotherOne]]"
    ));
    TracesForSeed tr = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav55Positive = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV55"),true);
    Map<Integer,Set<List<Label>>> uav55Negative = constructCollectionOfTraces(tr.tracesForUAVandFrame.get("UAV55"),false);
    Assert.assertEquals(3,uav55Negative.size());
    Assert.assertEquals(3,uav55Positive.size());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"qq"}}, mainConfiguration,converter).equals(
View Full Code Here
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
        "0,UAV55,4, - [[Faa],[bb]]\n"+
        "0,UAV3,SEED2, + [[Taa]]\n"+
        "1,UAV55,4, + [[qq]]\n"+
        "1,UAV3,SEED2, + [[anotherOne]]"
    ));
    TracesForSeed tr4 = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav3Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),true);
    Map<Integer,Set<List<Label>>> uav3Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),false);
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"}}, mainConfiguration,converter).equals(
        uav3Positive4.get(0)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"}}, mainConfiguration,converter).equals(
        uav3Positive4.get(1)));
    Assert.assertTrue(uav3Negative4.get(0).isEmpty());
    Assert.assertTrue(uav3Negative4.get(1).isEmpty());
    Map<Integer,Set<List<Label>>> uav55Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),true);
    Map<Integer,Set<List<Label>>> uav55Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),false);
    Assert.assertTrue(uav55Positive4.get(0).isEmpty());
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"qq"}}, mainConfiguration,converter).equals(
        uav55Positive4.get(1)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Faa"},new String[]{"bb"}}, mainConfiguration,converter).equals(
        uav55Negative4.get(0)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Faa"},new String[]{"bb"}}, mainConfiguration,converter).equals(
        uav55Negative4.get(1)));
 
    TracesForSeed tr2 = paper.collectionOfTraces.get("SEED2");
    Map<Integer,Set<List<Label>>> uav3Positive2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV3"),true);
    Map<Integer,Set<List<Label>>> uav3Negative2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV3"),false);
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Taa"}}, mainConfiguration,converter).equals(
        uav3Positive2.get(0)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Taa"},new String[]{"anotherOne"}}, mainConfiguration,converter).equals(
        uav3Positive2.get(1)));
    Assert.assertTrue(uav3Negative2.get(0).isEmpty());
    Assert.assertTrue(uav3Negative2.get(1).isEmpty());
   
    Map<Integer,Set<List<Label>>> uav55Positive2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV55"),true);
    Map<Integer,Set<List<Label>>> uav55Negative2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV55"),false);
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{}}, mainConfiguration,converter).equals(uav55Positive2.get(0)));
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{}}, mainConfiguration,converter).equals(uav55Positive2.get(1)));
    Assert.assertTrue(uav55Negative2.get(0).isEmpty());
    Assert.assertTrue(uav55Negative2.get(1).isEmpty());
   
    TracesForSeed trAll = paper.collectionOfTraces.get(PaperUAS.UAVAllSeeds);
    Assert.assertEquals(4,trAll.tracesForUAVandFrame.size());
    Map<Integer,Set<List<Label>>> uavAllPositiveAll = constructCollectionOfTraces(trAll.tracesForUAVandFrame.get(PaperUAS.UAVAllSeeds),true);
    Map<Integer,Set<List<Label>>> uavAllNegativeAll = constructCollectionOfTraces(trAll.tracesForUAVandFrame.get(PaperUAS.UAVAllSeeds),false);
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa"},new String[]{"Taa"}}, mainConfiguration,converter).equals(
        uavAllPositiveAll.get(0)));
View Full Code Here
569
570
571
572
573
574
575
576
577
578
579
  @Test
  public void testLoadByConcatenationFail5()
  {
    paper.loadDataByConcatenation(new Reader[]{new StringReader("0,UAV55,4, - [[Faa],[bb]]\n"
      )});
    TracesForSeed tr4 = paper.collectionOfTraces.get("4");
    Map<Integer,Set<List<Label>>> uav55Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),true);
    Map<Integer,Set<List<Label>>> uav55Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),false);
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{}, mainConfiguration,converter).equals(
        uav55Positive4.get(0)));// since there are no positive traces at all, this set is empty. It would usually contain an empty sequence.
    Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Faa"},new String[]{"bb"}}, mainConfiguration,converter).equals(
View Full Code Here
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
        "0,UAV55,4, - [[Faa],[bb]]\n"+
        "0,UAV3,SEED2, + [[aa,bb,cc,aa]]\n"+
        "1,UAV55,4, + [[qq,aa,qq]]\n"+
        "1,UAV3,SEED2, + [[aa,gg,aa]]"
    )});
    TracesForSeed tr4 = paper.collectionOfTraces.get("4");
    {
      Map<Integer,Set<List<Label>>> uav3Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),true);
      Map<Integer,Set<List<Label>>> uav3Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),false);
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa","aa"}}, mainConfiguration,converter).equals(
          uav3Positive4.get(0)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa","aa"}}, mainConfiguration,converter).equals(
          uav3Positive4.get(1)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{}, mainConfiguration,converter).equals(
          uav3Negative4.get(0)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{}, mainConfiguration,converter).equals(
          uav3Negative4.get(1)));
    }
    {
      Map<Integer,Set<List<Label>>> uav55Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),true);
      Map<Integer,Set<List<Label>>> uav55Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV55"),false);
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{}, mainConfiguration,converter).equals(
          uav55Positive4.get(0)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"qq","aa","qq"}}, mainConfiguration,converter).equals(
          uav55Positive4.get(1)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Faa"}, new String[]{"bb"}}, mainConfiguration,converter).equals(
          uav55Negative4.get(0)));
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"Faa"}, new String[]{"bb"}}, mainConfiguration,converter).equals(
          uav55Negative4.get(1)));
    }
   
    TracesForSeed tr2 = paper.collectionOfTraces.get("SEED2");
    {
      Map<Integer,Set<List<Label>>> uav3Positive2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV3"),true);
      Map<Integer,Set<List<Label>>> uav3Negative2 = constructCollectionOfTraces(tr2.tracesForUAVandFrame.get("UAV3"),false);
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa","bb","cc","aa"}}, mainConfiguration,converter).equals(
          uav3Positive2.get(0)));
View Full Code Here
651
652
653
654
655
656
657
658
659
660
661
        "0,UAV3,4, + [[aa,bb,cc,aa]]\n"+
        "0,UAV3,4, - [[nn,rr]]\n"+
        "1,UAV3,4, + [[aa,gg,aa]]\n"+
        "1,UAV3,4, - [[Rnn,Rrr]]\n"
    )});
    TracesForSeed tr4 = paper.collectionOfTraces.get("4");
    {
      Map<Integer,Set<List<Label>>> uav3Positive4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),true);
      Map<Integer,Set<List<Label>>> uav3Negative4 = constructCollectionOfTraces(tr4.tracesForUAVandFrame.get("UAV3"),false);
      Assert.assertTrue(TestFSMAlgo.buildSet(new String[][]{new String[]{"aa", "aa", "bb", "cc", "aa"}}, mainConfiguration,converter).equals(// positive traces are not prefixes of negatives and are thus are included
          uav3Positive4.get(0)));
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.experiments.PaperUAS.TracesForSeed

  • statechum.analysis.learning.experiments.TestPaperUAS
    • 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.