Examples of PTA_FSMStructure

Examples of statechum.model.testset.PTA_FSMStructure

1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
  @Test
  public final void test_stringCollectionSize0()
  {
    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();
    vertifyPTA(en, 1, new String[][] {
        new String[] {}
    });
    int expectedCompressed = 0, expectedUncompressed = 0;
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
 
  @Test
  public final void test_stringCollectionSize1()
  {
    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();
    seq.crossWithSequence(labelList(new String[] {"b","a"}));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b","a"}
    });
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
 
  @Test
  public final void test_stringCollectionSize2()
  {
    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();
    seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"a","b"}));
    vertifyPTA(en, 6, new String[][] {
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

88
89
90
91
92
93
94
95
96
97
98
99
  @Before
  public final void setUp()
  {
    mainConfiguration.setAllowedToCloneNonCmpVertex(true);
    fsm = buildLearnerGraph("A-a->B-a->A-b-#C\nB-b->D-c->E", "TestPTATestSequenceEngine",mainConfiguration,converter);
    en = new PTA_FSMStructure(fsm,null);   
    engine_testLimitToGraph = new PTA_FSMStructure(buildLearnerGraph(
        "A-a->B-a->F-b-#C\nB-c->D\nA-c->A\nB-b->D-c->E", "TestPTATestSequenceEngine",mainConfiguration,converter),null);
    //Visualiser.updateFrame(buildLearnerGraph(
    //    "A-a->B-a->F-b-#C\nB-c->D\nA-c->A\nB-b->D-c->E", "TestPTATestSequenceEngine",config), null);
    //Visualiser.waitForKey();
  }
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

142
143
144
145
146
147
148
149
150
151
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true, UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, false, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine enVerySmall = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    vertifyPTA(enVerySmall, 1, new String[][] {
        new String[] {}
      });
  }
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

157
158
159
160
161
162
163
164
165
166
    DirectedSparseVertex init = new DirectedSparseVertex();
    init.addUserDatum(JUConstants.INITIAL, true,UserData.SHARED);
    init.addUserDatum(JUConstants.ACCEPTED, true, UserData.SHARED);
    init.addUserDatum(JUConstants.LABEL, "A", UserData.SHARED);
    g.addVertex(init);
    PTASequenceEngine enVerySmall = new PTA_FSMStructure(new LearnerGraph(g,mainConfiguration),null);
    vertifyPTA(enVerySmall, 1, new String[][] {
        new String[] {}
    });
  }
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

604
605
606
607
608
609
610
611
612
613
614
  @Test
  public final void test_sequenceSet3_5() // a more complex composition
  {
    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);
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

635
636
637
638
639
640
641
642
643
644
645
  @Test
  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[][] {
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

660
661
662
663
664
665
666
667
668
669
670
  /** Test that it is possible to selectively filter out paths which terminate at specific states. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned1() // a test for shouldBeReturned
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet_testing_shouldBeReturned1",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
View Full Code Here

Examples of statechum.model.testset.PTA_FSMStructure

689
690
691
692
693
694
695
696
697
698
699
  /** Test that the outcome of filter is not affected by subsequent changes in the original graph. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned_filter_is_a_copy()
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B-b->B\nA-d->A\nB-c->D-a->D", "test_sequenceSet_testing_shouldBeReturned_filter_is_a_copy",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
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.