Package statechum.model.testset.PTASequenceEngine

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

498
499
500
501
502
503
504
505
506
507
508
  @Test
  public final void test_sequenceSet3_2() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a","d"}))
      .crossWithSet(labelList(new String[] {"b","a","d"})));
    vertifyPTA(en, 5, new String[][] {
        new String[] {"b"},
        new String[] {"a","a"},
        new String[] {"a","d"},
View Full Code Here
520
521
522
523
524
525
526
527
528
529
530
  public final void test_sequenceSet3_3() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    SequenceSet temp = seq.crossWithSet(labelList(new String[] {"b","a","d"}));
    SequenceSet temp2 = temp.crossWithSet(labelList(new String[] {"b","a","d"}));
    Map<String,String> actual3 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"u","a","d"})));
    Map<String,String> actual1 = getDebugDataMap(en,temp);
    Map<String,String> actual2 = getDebugDataMap(en,temp2);
    vertifyPTA(en, 9, new String[][] {
        new String[] {"b"},
        new String[] {"d"},
View Full Code Here
562
563
564
565
566
567
568
569
570
571
572
    SequenceSet temp2 = temp.crossWithSet(labelList(new String[] {"u","a","d"}))
    .crossWithSet(labelList(new String[] {"a"}))
    .crossWithSet(labelList(new String[] {"b"}))
    .crossWithSet(labelList(new String[] {"c"}));
    Map<String,String> actual3_1 = getDebugDataMap(en,temp2);// before PTA is updated, the long path should be a leaf ...
    Map<String,String> actual4 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"b","a"})));
    Map<String,String> actual3_2 = getDebugDataMap(en,temp2);// after it is updated, that path should no longer be a leaf.
    Map<String,String> actual1 = getDebugDataMap(en,temp_0);
    Map<String,String> actual2 = getDebugDataMap(en,temp_1);
    vertifyPTA(en, 11, new String[][] {
        new String[] {"b"},
View Full Code Here
608
609
610
611
612
613
614
615
616
617
618
    fsm = buildLearnerGraph("A-a->B-a->A-b-#C\nA-d->M-a->N\nB-b->D-c->E", "test_sequenceSet3_5",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    SequenceSet temp2 = seq.crossWithSet(labelList(new String[] {"b","a","d"}))
      .crossWithSet(labelList(new String[] {"b","a","d"}));
    Map<String,String> actual2 = getDebugDataMap(en,temp2.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual1 = getDebugDataMap(en,temp2);
    vertifyPTA(en, 7, new String[][] {
        new String[] {"b"},
        new String[] {"a","a","a"},
        new String[] {"a","b","a"},
View Full Code Here
637
638
639
640
641
642
643
644
645
646
647
  public final void test_sequenceSet3_6() // a more complex composition
  {
    fsm = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet3_6",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"a","b"})));
    vertifyPTA(en, 6, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","a"},
View Full Code Here
672
673
674
675
676
677
678
679
680
681
682
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","b"}
    });
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {
View Full Code Here
709
710
711
712
713
714
715
716
717
718
719
    vertifyPTA(filtered, 2, new String[][] {
        new String[] {"a","b"},
        new String[] {"b","b"}
    });
    // now modify the original PTA
    nodeD.crossWithSet(labelList(new String[]{"a","c"}));
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","b","c"},
        new String[] {"b","b","c"}
    });
    // and check that filtered version is not affected
View Full Code Here
885
886
887
888
889
890
891
892
893
894
895
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 0, new String[][] {
    });
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a","a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, false)},
View Full Code Here
903
904
905
906
907
908
909
910
911
912
913
  public final void test_sequenceSet_testing_shouldBeReturned2b() // a test for shouldBeReturned
  {
    final LearnerGraph machine = buildLearnerGraph("P-a->P\nA-a->A-b->B", "test_sequenceSet_testing_shouldBeReturned2b",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,machine.findVertex(VertexID.parseID("A")));
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a","a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, true)},
        new Object[]{new String[] {"a","b"}, PTASequenceEngine.DebugDataValues.booleanToString(true, true)}
    });
View Full Code Here
955
956
957
958
959
960
961
962
963
964
965
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","b"},
        new String[] {"a","a"}
    });
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.